Theory of Logical Types
Publisher: Taylor & Francis Group
Published: 2011
Language: eng
Number of pages: 156
ISBN-13: 9780415616270
Subjects: Logic, symbolic and mathematical