E-Books - Mathematical logic

Introduction to Stability Theory

Price for Eshop: 421 Kč (€ 16.8)

Format: E-Book, Publisher: Dover Publications

Availability: E-book delivered electronically online

Boolean Constructions in Universal Algebras

Price for Eshop: 2520 Kč (€ 100.8)

Format: E-Book, Publisher: Springer Netherlands

Availability: E-book delivered electronically online

Dualisability

Unary Algebras and Beyond

Price for Eshop: 2520 Kč (€ 100.8)

Format: E-Book, Publisher: Springer US

Availability: E-book delivered electronically online

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: 845 Kč (€ 33.8)

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

Elements of Logical Reasoning

Price for Eshop: 845 Kč (€ 33.8)

Format: E-Book, Publisher: Cambridge 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