Studies in Constructive Mathematics and Mathematical Logic
Subtitle: Part 1
Publisher: Springer
Published: 2014
Language: eng
Number of pages: 88
ISBN-13: 9781489956323
Subjects: Logic, symbolic and mathematical