E-Books - Mathematical logic

Theory Of Latticed Plates And Shells, A

Price for Eshop: 1056 Kč (€ 42.2)

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

Availability: E-book delivered electronically online

Typed Lambda Calculi and Applications

4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Petri Nets for Systems Engineering

A Guide to Modeling, Verification, and Applications

Price for Eshop: 2239 Kč (€ 89.6)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Theory and Applications of Satisfiability Testing

6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Duality Theories for Boolean Algebras with Operators

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Kurt Godel: Collected Works: Volume IV

Price for Eshop: 1577 Kč (€ 63.1)

Format: E-Book, Publisher: OUP Oxford

Availability: E-book delivered electronically online

Kurt Godel: Collected Works: Volume V

Price for Eshop: 1943 Kč (€ 77.7)

Format: E-Book, Publisher: OUP Oxford

Availability: E-book delivered electronically online

Quantifiers, Propositions and Identity

Admissible Semantics for Quantified Modal and Substructural Logics

Price for Eshop: 3407 Kč (€ 136.3)

Format: E-Book, Publisher: Cambridge University Press

Availability: E-book delivered electronically online

Propositional and Predicate Calculus: A Model of Argument

Price for Eshop: 1549 Kč (€ 62.0)

Format: E-Book, Publisher: Springer London

Availability: E-book delivered electronically online