Short Introduction to Intuitionistic Logic
Publisher: Springer
Published: 2013
Language: eng
Number of pages: 131
ISBN-13: 9781475773194
Subjects: Intuitionistic mathematics