Browse books
E-Books - Mathematical logic
Mathematische Geschichten III - Eulerscher Polyedersatz, Schubfachprinzip und Beweise
Fur begabte Schulerinnen und Schuler in der Unterstufe
Price for Eshop: 176 Kč (€ 7.0)
Format: E-Book, Publisher: Springer Fachmedien Wiesbaden
Availability: E-book delivered electronically online
Add to Cart InformationMathematische Geschichten IV - Euklidischer Algorithmus, Modulo-Rechnung und Beweise
Fur begabte Schulerinnen und Schuler in der Unterstufe
Price for Eshop: 176 Kč (€ 7.0)
Format: E-Book, Publisher: Springer Fachmedien Wiesbaden
Availability: E-book delivered electronically online
Add to Cart InformationLouis Couturat: The History of Modern Symbolic Logic and Other French Manuscripts
Price for Eshop: 3365 Kč (€ 134.6)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationFormal Methods for Nonmonotonic and Related Logics
Vol I: Preference and Size
Price for Eshop: 2098 Kč (€ 83.9)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationRelational Mathematics
Price for Eshop: 2760 Kč (€ 110.4)
Format: E-Book, Publisher: Cambridge University Press
Availability: E-book delivered electronically online
Add to Cart InformationGrundlegungen zu einer allgemeinen affinen Geometrie
Price for Eshop: 440 Kč (€ 17.6)
Format: E-Book, Publisher: Birkhauser Basel
Availability: E-book delivered electronically online
Add to Cart InformationLogic for Computer Scientists
Price for Eshop: 1549 Kč (€ 62.0)
Format: E-Book, Publisher: Birkhauser Boston
Availability: E-book delivered electronically online
Add to Cart InformationHermann Gunther Gramann (1809-1877): Visionary Mathematician, Scientist and Neohumanist Scholar
Price for Eshop: 5055 Kč (€ 202.2)
Format: E-Book, Publisher: Springer Netherlands
Availability: E-book delivered electronically online
Add to Cart InformationOperationales Spezifizieren mit programmierten Graphersetzungssystemen
Formale Definitionen, Anwendungsbeispiele und Werkzeugunterstutzung Herausgegeben und eingeleitet von Manfred Nagl
Price for Eshop: 997 Kč (€ 39.9)
Format: E-Book, Publisher: Deutscher Universitatsverlag
Availability: E-book delivered electronically online
Add to Cart InformationReuniting the Antipodes - Constructive and Nonstandard Views of the Continuum
Symposium Proceedings, San Servolo, Venice, Italy, May 16-22, 1999
Price for Eshop: 3647 Kč (€ 145.9)
Format: E-Book, Publisher: Springer Netherlands
Availability: E-book delivered electronically online
Add to Cart Information