E-Books - Mathematical logic

Logic for Programming and Automated Reasoning

7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Logic Colloquium '84

Price for Eshop: 576 Kč (€ 23.0)

Format: E-Book, Publisher: Elsevier Science

Availability: E-book delivered electronically online

Introduction to Languages, Machines and Logic

Computable Languages, Abstract Machines and Formal Logic

Price for Eshop: 1689 Kč (€ 67.6)

Format: E-Book, Publisher: Springer London

Availability: E-book delivered electronically online

On Constructive Interpretation of Predictive Mathematics (1990)

Price for Eshop: 1036 Kč (€ 41.4)

Format: E-Book, Publisher: Taylor and Francis

Availability: E-book delivered electronically online

Philosophy of Mathematics in the Twentieth Century

Price for Eshop: 3737 Kč (€ 149.5)

Format: E-Book, Publisher: Harvard University Press

Availability: E-book delivered electronically online

On Constructive Interpretation of Predictive Mathematics (1990)

Price for Eshop: 1036 Kč (€ 41.4)

Format: E-Book, Publisher: Taylor and Francis

Availability: E-book delivered electronically online

DNA Computing

New Computing Paradigms

Price for Eshop: 2098 Kč (€ 83.9)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Matrix Partial Orders, Shorted Operators And Applications

Price for Eshop: 1056 Kč (€ 42.2)

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

Availability: E-book delivered electronically online

Authentication Codes and Combinatorial Designs

Price for Eshop: 2219 Kč (€ 88.8)

Format: E-Book, Publisher: CRC Press

Availability: E-book delivered electronically online