E-Books - Mathematical logic

Intensionality

Price for Eshop: 1830 Kč (€ 73.2)

Format: E-Book, Publisher: Cambridge University Press

Availability: E-book delivered electronically online

Gentzen's Centenary

The Quest for Consistency

Price for Eshop: 3661 Kč (€ 146.4)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Proof Theory in Computer Science

International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Advances in Proof Theory

Price for Eshop: 2534 Kč (€ 101.4)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Relational and Algebraic Methods in Computer Science

15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Fuzzy Logic in Its 50th Year

New Developments, Directions and Challenges

Price for Eshop: 2520 Kč (€ 100.8)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Algebra fur Informatiker

Price for Eshop: 997 Kč (€ 39.9)

Format: E-Book, Publisher: Springer Vienna

Availability: E-book delivered electronically online

Modern Perspective on Type Theory

From its Origins until Today

Price for Eshop: 3084 Kč (€ 123.4)

Format: E-Book, Publisher: Springer Netherlands

Availability: E-book delivered electronically online

Borel Equivalence Relations

Price for Eshop: 1882 Kč (€ 75.3)

Format: E-Book, Publisher: American Mathematical Society

Availability: E-book delivered electronically online