E-Books - Mathematical logic

Metamathematische Methoden in der Geometrie

Price for Eshop: 997 Kč (€ 39.9)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Proof and Computation

Price for Eshop: 2520 Kč (€ 100.8)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Proof and System-Reliability

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Netherlands

Availability: E-book delivered electronically online

Proofs and Computations

Price for Eshop: 2112 Kč (€ 84.5)

Format: E-Book, Publisher: Cambridge University Press

Availability: E-book delivered electronically online

Formalisieren und Beweisen

Logik fur Informatiker

Price for Eshop: 997 Kč (€ 39.9)

Format: E-Book, Publisher: Vieweg+Teubner Verlag

Availability: E-book delivered electronically online

Hilbert's Programs and Beyond

Price for Eshop: 779 Kč (€ 31.2)

Format: E-Book, Publisher: Oxford University Press

Availability: E-book delivered electronically online

Reflections on the Foundations of Mathematics

Essays in Honor of Solomon Feferman

Price for Eshop: 2394 Kč (€ 95.8)

Format: E-Book, Publisher: Cambridge University Press

Availability: E-book delivered electronically online

Basic Posets

Price for Eshop: 986 Kč (€ 39.4)

Format: E-Book, Publisher: World Scientific Publishing Company

Availability: E-book delivered electronically online

Introduction to Category Theory

Price for Eshop: 1070 Kč (€ 42.8)

Format: E-Book, Publisher: Cambridge University Press

Availability: E-book delivered electronically online