E-Books - Mathematical logic

Mathematical Intuitionism and Intersubjectivity

A Critical Exposition of Arguments for Intuitionism

Price for Eshop: 2520 Kč (€ 100.8)

Format: E-Book, Publisher: Springer Netherlands

Availability: E-book delivered electronically online

Elements of Logical Reasoning

Price for Eshop: 880 Kč (€ 35.2)

Format: E-Book, Publisher: Cambridge University Press

Availability: E-book delivered electronically online

Elements of Logical Reasoning

Price for Eshop: 880 Kč (€ 35.2)

Format: E-Book, Publisher: Cambridge University Press

Availability: E-book delivered electronically online

Great Formal Machinery Works

Theories of Deduction and Computation at the Origins of the Digital Age

Price for Eshop: 1120 Kč (€ 44.8)

Format: E-Book, Publisher: Princeton University Press

Availability: E-book delivered electronically online

Hausdorff on Ordered Sets

Price for Eshop: 2918 Kč (€ 116.7)

Format: E-Book, Publisher: American Mathematical Society

Availability: E-book delivered electronically online

Adapting Proofs-as-Programs

The Curry--Howard Protocol

Price for Eshop: 3647 Kč (€ 145.9)

Format: E-Book, Publisher: Springer New York

Availability: E-book delivered electronically online

Gentzen Calculi for Modal Propositional Logic

Price for Eshop: 3365 Kč (€ 134.6)

Format: E-Book, Publisher: Springer Netherlands

Availability: E-book delivered electronically online

Stable Groups

Price for Eshop: 2304 Kč (€ 92.2)

Format: E-Book, Publisher: American Mathematical Society

Availability: E-book delivered electronically online

Course in Model Theory

An Introduction to Contemporary Mathematical Logic

Price for Eshop: 1605 Kč (€ 64.2)

Format: E-Book, Publisher: Springer New York

Availability: E-book delivered electronically online