Browse books
E-Books - Mathematical logic
Bounded Arithmetic, Propositional Logic and Complexity Theory
Price for Eshop: 3633 Kč (€ 145.3)
Format: E-Book, Publisher: Cambridge University Press
Availability: E-book delivered electronically online
Add to Cart InformationProof Complexity
Price for Eshop: 3802 Kč (€ 152.1)
Format: E-Book, Publisher: Cambridge University Press
Availability: E-book delivered electronically online
Add to Cart InformationForcing with Random Variables and Proof Complexity
Price for Eshop: 1520 Kč (€ 60.8)
Format: E-Book, Publisher: Cambridge University Press
Availability: E-book delivered electronically online
Add to Cart InformationTransition to Analysis with Proof
Price for Eshop: 2513 Kč (€ 100.5)
Format: E-Book, Publisher: CRC Press
Availability: E-book delivered electronically online
Add to Cart InformationTransition to Analysis with Proof
Price for Eshop: 2513 Kč (€ 100.5)
Format: E-Book, Publisher: CRC Press
Availability: E-book delivered electronically online
Add to Cart InformationHandbook of Logic and Proof Techniques for Computer Science
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Birkhauser Boston
Availability: E-book delivered electronically online
Add to Cart InformationElements of Advanced Mathematics
Price for Eshop: 1860 Kč (€ 74.4)
Format: E-Book, Publisher: CRC Press
Availability: E-book delivered electronically online
Add to Cart InformationProof is in the Pudding
The Changing Nature of Mathematical Proof
Price for Eshop: 1126 Kč (€ 45.0)
Format: E-Book, Publisher: Springer New York
Availability: E-book delivered electronically online
Add to Cart InformationElements of Advanced Mathematics
Price for Eshop: 1860 Kč (€ 74.4)
Format: E-Book, Publisher: CRC Press
Availability: E-book delivered electronically online
Add to Cart InformationMultilevel Modeling of Secure Systems in QoP-ML
Price for Eshop: 1599 Kč (€ 64.0)
Format: E-Book, Publisher: CRC Press
Availability: E-book delivered electronically online
Add to Cart Information