Theory of Logical Types
Subtitle: Monographs in Modern Logic
Publisher: Taylor & Francis Group
Published: 2012
Language: eng
Number of pages: 142
ISBN-13: 9780415617031
Subjects: Logic, symbolic and mathematical