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

Pure Inductive Logic

Price for Eshop: 3773 Kč (€ 150.9)

Format: E-Book, Publisher: Cambridge University Press

Availability: E-book delivered electronically online

Pure Inductive Logic

Price for Eshop: 3773 Kč (€ 150.9)

Format: E-Book, Publisher: Cambridge University Press

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: 960 Kč (€ 38.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: 960 Kč (€ 38.4)

Format: E-Book, Publisher: Taylor and Francis

Availability: E-book delivered electronically online

Boolean Function Complexity

Price for Eshop: 3238 Kč (€ 129.5)

Format: E-Book, Publisher: Cambridge University Press

Availability: E-book delivered electronically online