E-Books - Mathematical logic

Number Theory and Modular Forms

Papers in Memory of Robert A. Rankin

Price for Eshop: 2520 Kč (€ 100.8)

Format: E-Book, Publisher: Springer US

Availability: E-book delivered electronically online

ZB 2002: Formal Specification and Development in Z and B

2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

There's Something About G del

Price for Eshop: 2392 Kč (€ 95.7)

Format: E-Book, Publisher: Wiley

Availability: E-book delivered electronically online

There's Something About G del

Price for Eshop: 913 Kč (€ 36.5)

Format: E-Book, Publisher: Wiley

Availability: E-book delivered electronically online

Interactive Theorem Proving and Program Development

Coq'Art: The Calculus of Inductive Constructions

Price for Eshop: 1971 Kč (€ 78.8)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Petri Net Algebra

Price for Eshop: 3647 Kč (€ 145.9)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Formal Methods

An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic

Price for Eshop: 2520 Kč (€ 100.8)

Format: E-Book, Publisher: Springer Netherlands

Availability: E-book delivered electronically online

"Das ist o. B. d. A. trivial!"

Tipps und Tricks zur Formulierung mathematischer Gedanken

Price for Eshop: 563 Kč (€ 22.5)

Format: E-Book, Publisher: Vieweg+Teubner Verlag

Availability: E-book delivered electronically online

Logica Universalis

Towards a General Theory of Logic

Price for Eshop: 1070 Kč (€ 42.8)

Format: E-Book, Publisher: Birkhauser Basel

Availability: E-book delivered electronically online