E-Books - Mathematical logic

Visual Cryptography and Secret Image Sharing

Price for Eshop: 2513 Kč (€ 100.5)

Format: E-Book, Publisher: CRC Press

Availability: E-book delivered electronically online

Visual Cryptography and Secret Image Sharing

Price for Eshop: 2513 Kč (€ 100.5)

Format: E-Book, Publisher: CRC Press

Availability: E-book delivered electronically online

Consequence Relations

An Introduction to the Lindenbaum-Tarski Method

Price for Eshop: 2039 Kč (€ 81.6)

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

Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry: Volume 1

Price for Eshop: 1943 Kč (€ 77.7)

Format: E-Book, Publisher: Cambridge University Press

Availability: E-book delivered electronically online

Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry: Volume 2

Price for Eshop: 1520 Kč (€ 60.8)

Format: E-Book, Publisher: Cambridge University Press

Availability: E-book delivered electronically online

Computation and its Limits

Price for Eshop: 938 Kč (€ 37.5)

Format: E-Book, Publisher: OUP Oxford

Availability: E-book delivered electronically online