Items related to Simple Type Theory: A Practical Logic for Expressing...
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas - Softcover
- PublisherBirkhauser
- Publication date2023
- ISBN 10 3031211138
- ISBN 13 9783031211133
- BindingPaperback
- LanguageEnglish
- Number of pages312
Other Popular Editions of the Same Title
Search results for Simple Type Theory: A Practical Logic for Expressing...
Stock Image
Simple Type Theory
Print on DemandSeller: PBShop.store US, Wood Dale, IL, U.S.A.
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9783031211133
Quantity: Over 20 available
Stock Image
Simple Type Theory
Print on DemandSeller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 4 out of 5 stars
PAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9783031211133
Quantity: Over 20 available
Stock Image
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 0.97. Seller Inventory # G3031211138I3N00
Quantity: 1 available
Stock Image
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783031211133_new
Quantity: Over 20 available
Stock Image
Simple Type Theory : A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783031211133
Quantity: 10 available