Browse books

Showing books 891-900 from 1298

E-Books - Mathematical logic

loading...
Ernest Nagel, James R. Newman

Godel's Proof

Price for Eshop: 422 Kč (€ 16.9)

Format: E-Book, Publisher: NYU Press

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Paul J. Nahin

Logician and the Engineer

How George Boole and Claude Shannon Created the Information Age

Price for Eshop: 576 Kč (€ 23.0)

Format: E-Book, Publisher: Princeton University Press

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Gen Nakamura (EDT), Saburou Saitoh (EDT), Jin Kean Seo (EDT)

Inverse Problems and Related Topics

Price for Eshop: 5875 Kč (€ 235.0)

Format: E-Book, Publisher: CRC Press

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Gen Nakamura (EDT), Saburou Saitoh (EDT), Jin Kean Seo (EDT)

Inverse Problems and Related Topics

Price for Eshop: 5875 Kč (€ 235.0)

Format: E-Book, Publisher: CRC Press

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Hellerstein Nathaniel S Hellerstein

Diamond: A Paradox Logic

Price for Eshop: 739 Kč (€ 29.6)

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

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Hellerstein Nathaniel S Hellerstein

Diamond: A Paradox Logic (2nd Edition)

Price for Eshop: 1003 Kč (€ 40.1)

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

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Hellerstein Nathaniel S Hellerstein

Delta: A Paradox Logic

Price for Eshop: 845 Kč (€ 33.8)

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

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Rob Nederpelt, Herman Geuvers

Type Theory and Formal Proof

An Introduction

Price for Eshop: 1971 Kč (€ 78.8)

Format: E-Book, Publisher: Cambridge University Press

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Rob Nederpelt, Herman Geuvers

Type Theory and Formal Proof

An Introduction

Price for Eshop: 1971 Kč (€ 78.8)

Format: E-Book, Publisher: Cambridge University Press

Availability: E-book delivered electronically online

Add to Cart Information
loading...
R.P. Nederpelt (EDT), J.H. Geuvers (EDT), R.C. de Vrijer (EDT)

Selected Papers on Automath

Price for Eshop: 1239 Kč (€ 49.6)

Format: E-Book, Publisher: Elsevier Science

Availability: E-book delivered electronically online

Add to Cart Information
Previous ... 85 86 87 88 89 90 91 92 93 94 95 ... Next