Browse books

Showing books 181-190 from 1305

E-Books - Mathematical logic

loading...
Samuel R. Buss (EDT), Petr Hajek (EDT), Pavel Pudlak (EDT)

Logic Colloquium '98

Price for Eshop: 2675 Kč (€ 107.0)

Format: E-Book, Publisher: Cambridge University Press

Availability: E-book delivered electronically online

Add to Cart Information
loading...
S.R. Buss (EDT)

Handbook of Proof Theory

Price for Eshop: 4083 Kč (€ 163.3)

Format: E-Book, Publisher: Elsevier Science

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Lynne M Butler

Subgroup Lattices and Symmetric Functions

Price for Eshop: 1728 Kč (€ 69.1)

Format: E-Book, Publisher: American Mathematical Society

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Tim Button, Sean Walsh

Philosophy and Model Theory

Price for Eshop: 892 Kč (€ 35.7)

Format: E-Book, Publisher: OUP Oxford

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Kim Byunghan Kim (EDT), Brendle Jorg Brendle (EDT), Lee Gyesik Lee (EDT), Liu Fenrong Liu (EDT), Ramanujam R Ramanujam (EDT), Srivastava Shashi M Srivastava (EDT), Tsuboi Akito Tsuboi (EDT), Yu Liang Yu (EDT)

Proceedings Of The 14th And 15th Asian Logic Conferences

Price for Eshop: 2191 Kč (€ 87.6)

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

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Kim Byunghan Kim (EDT), Arai Toshiyasu Arai (EDT), Yang Yue Yang (EDT), Wu Guohua Wu (EDT), Feng Qi Feng (EDT)

Proceedings Of The 11th Asian Logic Conference: In Honor Of Professor Chong Chitat On His 60th Birthday

Price for Eshop: 950 Kč (€ 38.0)

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

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Ricardo Caferra, Alexander Leitsch, Nicolas Peltier

Automated Model Building

Price for Eshop: 3647 Kč (€ 145.9)

Format: E-Book, Publisher: Springer Netherlands

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Andres Eduardo Caicedo (EDT)

Foundations of Mathematics

Price for Eshop: 4262 Kč (€ 170.5)

Format: E-Book, Publisher: American Mathematical Society

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Paul Callaghan (EDT), Zhaohui Luo (EDT), James McKinna (EDT), Robert Pollack (EDT)

Types for Proofs and Programs

International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers

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...
Cristian S. Calude

Information and Randomness

An Algorithmic Perspective

Price for Eshop: 1408 Kč (€ 56.3)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Add to Cart Information
Previous ... 14 15 16 17 18 19 20 21 22 23 24 ... Next