E-Books - Mathematical logic

Philosophy of Mathematics

Classic and Contemporary Studies

Price for Eshop: 1828 Kč (€ 73.1)

Format: E-Book, Publisher: CRC Press

Availability: E-book delivered electronically online

Algebraic Foundations of Many-Valued Reasoning

Price for Eshop: 2520 Kč (€ 100.8)

Format: E-Book, Publisher: Springer Netherlands

Availability: E-book delivered electronically online

Visual Cryptography and Secret Image Sharing

Price for Eshop: 2839 Kč (€ 113.6)

Format: E-Book, Publisher: CRC Press

Availability: E-book delivered electronically online

Visual Cryptography and Secret Image Sharing

Price for Eshop: 2839 Kč (€ 113.6)

Format: E-Book, Publisher: CRC Press

Availability: E-book delivered electronically online

Consequence Relations

An Introduction to the Lindenbaum-Tarski Method

Price for Eshop: 2108 Kč (€ 84.3)

Format: E-Book, Publisher: OUP Oxford

Availability: E-book delivered electronically online

Higher Order Logic Theorem Proving and its Applications

Proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and its Applications - HOL '92 Leuven, Belgium, 21-24 September 1992

Price for Eshop: 4147 Kč (€ 165.9)

Format: E-Book, Publisher: Elsevier Science

Availability: E-book delivered electronically online

Introducing Infinity

A Graphic Guide

Price for Eshop: 146 Kč (€ 5.8)

Format: E-Book, Publisher: Icon Books

Availability: E-book delivered electronically online

Linking Game-Theoretical Approaches with Constructive Type Theory

Dialogical Strategies, CTT demonstrations and the Axiom of Choice

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Computation and its Limits

Price for Eshop: 985 Kč (€ 39.4)

Format: E-Book, Publisher: OUP Oxford

Availability: E-book delivered electronically online