Browse books

Showing books 601-610 from 1152

E-Books - Mathematical logic

loading...
Winfried Just

Discovering Modern Set Theory. I

The Basics

Price for Eshop: 3264 Kč (€ 130.6)

Format: E-Book, Publisher: American Mathematical Society

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Kalle Kaarli, Alden F. Pixley

Polynomial Completeness in Algebraic Systems

Price for Eshop: 2219 Kč (€ 88.8)

Format: E-Book, Publisher: CRC Press

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Reinhard Kahle (EDT)

Intensionality

Price for Eshop: 1830 Kč (€ 73.2)

Format: E-Book, Publisher: Cambridge University Press

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Reinhard Kahle (EDT), Michael Rathjen (EDT)

Gentzen's Centenary

The Quest for Consistency

Price for Eshop: 3928 Kč (€ 157.1)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Reinhard Kahle (EDT), Peter Schroeder-Heister (EDT), Robert Stark (EDT)

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

Add to Cart Information
loading...
Reinhard Kahle (EDT), Thomas Strahm (EDT), Thomas Studer (EDT)

Advances in Proof Theory

Price for Eshop: 2534 Kč (€ 101.4)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Wolfram Kahl (EDT), Michael Winter (EDT), Jose Oliveira (EDT)

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

Add to Cart Information
loading...
Cengiz Kahraman (EDT), Uzay Uzay Kaymak (EDT), Adnan Yazici (EDT)

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

Add to Cart Information
loading...
H. Kaiser, R. Mlitz, G. Zeilinger

Algebra fur Informatiker

Price for Eshop: 997 Kč (€ 39.9)

Format: E-Book, Publisher: Springer Vienna

Availability: E-book delivered electronically online

Add to Cart Information
loading...
F.D. Kamareddine, T. Laan, Rob Nederpelt

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

Add to Cart Information
Previous ... 56 57 58 59 60 61 62 63 64 65 66 ... Next