Browse books
E-Books - Mathematical logic
Elements of infinity-Category Theory
Price for Eshop: 1943 Kč (€ 77.7)
Format: E-Book, Publisher: Cambridge University Press
Availability: E-book delivered electronically online
Add to Cart InformationTeoria algebrica dei meccanismi automatici
Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Varenna (Como), Italy, August 20-29, 1959
Price for Eshop: 901 Kč (€ 36.0)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationBenutzerhandbuch fur die interaktive Geometrie-Software
Cinderella Version 1.2
Price for Eshop: 997 Kč (€ 39.9)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationIntroduction to Mathematical Proofs
Price for Eshop: 1958 Kč (€ 78.3)
Format: E-Book, Publisher: CRC Press
Availability: E-book delivered electronically online
Add to Cart InformationFoundations of Computability Theory
Price for Eshop: 1492 Kč (€ 59.7)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationProvince of Logic
An Interpretation of Certain Parts of Cook Wilson's "Statement and Inference"
Price for Eshop: 1207 Kč (€ 48.3)
Format: E-Book, Publisher: Taylor and Francis
Availability: E-book delivered electronically online
Add to Cart InformationProvince of Logic
An Interpretation of Certain Parts of Cook Wilson's "Statement and Inference"
Price for Eshop: 1207 Kč (€ 48.3)
Format: E-Book, Publisher: Taylor and Francis
Availability: E-book delivered electronically online
Add to Cart InformationTyped Lambda Calculi and Applications
8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationParametric Lambda Calculus
A Metamodel for Computation
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationLearning to Reason
Price for Eshop: 4645 Kč (€ 185.8)
Format: E-Book, Publisher: Wiley
Availability: E-book delivered electronically online
Add to Cart Information