Browse books

Showing books 681-690 from 1305

E-Books - Mathematical logic

loading...
Winfried Just

Discovering Modern Set Theory. I

The Basics

Price for Eshop: 1843 Kč (€ 73.7)

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: 2023 Kč (€ 80.9)

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: 3661 Kč (€ 146.4)

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: 3520 Kč (€ 140.8)

Format: E-Book, Publisher: Springer Netherlands

Availability: E-book delivered electronically online

Add to Cart Information
Previous ... 64 65 66 67 68 69 70 71 72 73 74 ... Next