Check nearby libraries
Buy this book
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Subjects
Symbolic and mathematical Logic, Type theoryShowing 1 featured edition. View all 1 editions?
Edition | Availability |
---|---|
1
Reasoning in simple type theory: festschrift in honour of Peter B. Andrews on this 70th birthday
2008, College Publications
in English
1904987702 9781904987703
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Edition Notes
Includes bibliographical references.
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?December 31, 2022 | Created by MARC Bot | import new book |