E-Books - Mathematical logic

Introduction to Mathematical Proofs

Price for Eshop: 1958 Kč (€ 78.3)

Format: E-Book, Publisher: CRC Press

Availability: E-book delivered electronically online

Foundations of Computability Theory

Price for Eshop: 1492 Kč (€ 59.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Province of Logic

An Interpretation of Certain Parts of Cook Wilson's "Statement and Inference"

Price for Eshop: 1142 Kč (€ 45.7)

Format: E-Book, Publisher: Taylor and Francis

Availability: E-book delivered electronically online

Province of Logic

An Interpretation of Certain Parts of Cook Wilson's "Statement and Inference"

Price for Eshop: 1142 Kč (€ 45.7)

Format: E-Book, Publisher: Taylor and Francis

Availability: E-book delivered electronically online

Typed Lambda Calculi and Applications

8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Parametric Lambda Calculus

A Metamodel for Computation

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Learning to Reason

Price for Eshop: 4701 Kč (€ 188.0)

Format: E-Book, Publisher: Wiley

Availability: E-book delivered electronically online

Proceedings Of The 12th Asian Logic Conference

Price for Eshop: 1214 Kč (€ 48.6)

Format: E-Book, Publisher: World Scientific Publishing Company

Availability: E-book delivered electronically online

Mathematical Logic and Formalized Theories

A Survey of Basic Concepts and Results

Price for Eshop: 1520 Kč (€ 60.8)

Format: E-Book, Publisher: Elsevier Science

Availability: E-book delivered electronically online