E-Books - Mathematical logic

Transition to Analysis with Proof

Price for Eshop: 2676 Kč (€ 107.0)

Format: E-Book, Publisher: CRC Press

Availability: E-book delivered electronically online

Proof 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

Handbook 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

Elements of Advanced Mathematics

Price for Eshop: 1860 Kč (€ 74.4)

Format: E-Book, Publisher: CRC Press

Availability: E-book delivered electronically online

Elements of Advanced Mathematics

Price for Eshop: 1860 Kč (€ 74.4)

Format: E-Book, Publisher: CRC Press

Availability: E-book delivered electronically online

Multilevel 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

Structural Theory of Automata, Semigroups, and Universal Algebra

Proceedings of the NATO Advanced Study Institute on Structural Theory of Automata, Semigroups and Universal Algebra, Montreal, Quebec, Canada, 7-18 July 2003

Price for Eshop: 2520 Kč (€ 100.8)

Format: E-Book, Publisher: Springer Netherlands

Availability: E-book delivered electronically online

Mathematical Logic and Theoretical Computer Science

Price for Eshop: 8813 Kč (€ 352.5)

Format: E-Book, Publisher: CRC Press

Availability: E-book delivered electronically online

Mathematical Logic and Theoretical Computer Science

Price for Eshop: 8813 Kč (€ 352.5)

Format: E-Book, Publisher: CRC Press

Availability: E-book delivered electronically online