First Order Categorical Logic:. This item is unavailable.
7 ratings by Goodreads
Language: English
Published by Springer, 1977
- Softcover
- Used
Seller: World of Books (was SecondSale), Montgomery, IL, U.S.A.World of Books (was SecondSale)
5-star seller
AbeBooks seller since December 20, 2007
Unavailable
Softcover
Condition: Used - Very good
US$ 67.99
Item description from seller
Item in very good condition! Textbooks may not include supplemental items i.e. CDs, access codes etc.
Seller Inventory # 00103469538
- Title
- First Order Categorical Logic:
- Author
- Makkai, M.; Reyes, G.E.
- Publisher
- Springer
- Publication year
- 1977
- Condition
- Very Good
- Binding
- Soft cover
- Language
- English
- ISBN 10
- 3540084398
- ISBN 13
- 9783540084396
Grothendieck topoi.- Interpretation of the logic in categories.- Axioms and rules of inference valid in categories.- Boolean and heyting valued models.- Completeness.- Existence theorems on geometric morphisms of topoi.- Conceptual completeness.- Theories as categories.- Classifying topoi.- Corrections to "first order categorical logic".
"Synopsis" may belong to another edition of this title.
Search results for First Order Categorical Logic:
There are 3 more copies of this bookView all results