E-Books - Mathematical logic

Proofs 101

An Introduction to Formal Mathematics

Price for Eshop: 1632 Kč (€ 65.3)

Format: E-Book, Publisher: CRC Press

Availability: E-book delivered electronically online

Fuzzy Decision Procedures with Binary Relations

Towards A Unified Theory

Price for Eshop: 3647 Kč (€ 145.9)

Format: E-Book, Publisher: Springer Netherlands

Availability: E-book delivered electronically online

Mengenlehre

Price for Eshop: 3200 Kč (€ 128.0)

Format: E-Book, Publisher: De Gruyter

Availability: E-book delivered electronically online

Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification

Price for Eshop: 2772 Kč (€ 110.9)

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

Availability: E-book delivered electronically online

Petri Nets and Other Models of Concurrency - ICATPN 2007

28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Mathematische Modelle des Kontinuums

Price for Eshop: 774 Kč (€ 31.0)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Triangular Norms

Price for Eshop: 5055 Kč (€ 202.2)

Format: E-Book, Publisher: Springer Netherlands

Availability: E-book delivered electronically online

Cryptology

Classical and Modern

Price for Eshop: 1436 Kč (€ 57.4)

Format: E-Book, Publisher: CRC Press

Availability: E-book delivered electronically online

Cryptology

Classical and Modern

Price for Eshop: 1436 Kč (€ 57.4)

Format: E-Book, Publisher: CRC Press

Availability: E-book delivered electronically online