Browse books
E-Books - Mathematical logic
Diamond: A Paradox Logic
Price for Eshop: 739 Kč (€ 29.6)
Format: E-Book, Publisher: World Scientific Publishing Company
Availability: E-book delivered electronically online
Add to Cart InformationDelta: A Paradox Logic
Price for Eshop: 845 Kč (€ 33.8)
Format: E-Book, Publisher: World Scientific Publishing Company
Availability: E-book delivered electronically online
Add to Cart InformationDiamond: A Paradox Logic (2nd Edition)
Price for Eshop: 1003 Kč (€ 40.1)
Format: E-Book, Publisher: World Scientific Publishing Company
Availability: E-book delivered electronically online
Add to Cart InformationType Theory and Formal Proof
An Introduction
Price for Eshop: 2084 Kč (€ 83.4)
Format: E-Book, Publisher: Cambridge University Press
Availability: E-book delivered electronically online
Add to Cart InformationType Theory and Formal Proof
An Introduction
Price for Eshop: 2084 Kč (€ 83.4)
Format: E-Book, Publisher: Cambridge University Press
Availability: E-book delivered electronically online
Add to Cart InformationSelected Papers on Automath
Price for Eshop: 1239 Kč (€ 49.6)
Format: E-Book, Publisher: Elsevier Science
Availability: E-book delivered electronically online
Add to Cart InformationLogic for Applications
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer New York
Availability: E-book delivered electronically online
Add to Cart InformationMathematics of Ramsey Theory
Price for Eshop: 2520 Kč (€ 100.8)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationLogic and Language
Price for Eshop: 2203 Kč (€ 88.1)
Format: E-Book, Publisher: Bloomsbury Publishing
Availability: E-book delivered electronically online
Add to Cart InformationAutomated Theorem Proving
Theory and Practice
Price for Eshop: 3084 Kč (€ 123.4)
Format: E-Book, Publisher: Springer New York
Availability: E-book delivered electronically online
Add to Cart Information