E-Books - Mathematical logic

Theory and Applications of Satisfiability Testing - SAT 2006

9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Combinatory Logic

Pure, Applied and Typed

Price for Eshop: 1958 Kč (€ 78.3)

Format: E-Book, Publisher: CRC Press

Availability: E-book delivered electronically online

Proof Theory

Sequent Calculi and Related Formalisms

Price for Eshop: 1958 Kč (€ 78.3)

Format: E-Book, Publisher: CRC Press

Availability: E-book delivered electronically online

Precis of Mathematical Logic

Price for Eshop: 2520 Kč (€ 100.8)

Format: E-Book, Publisher: Springer Netherlands

Availability: E-book delivered electronically online

Logic and Its Applications

Price for Eshop: 3533 Kč (€ 141.3)

Format: E-Book, Publisher: American Mathematical Society

Availability: E-book delivered electronically online

Fields of Logic and Computation

Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday

Price for Eshop: 2520 Kč (€ 100.8)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Algebraizable Logics

Price for Eshop: 653 Kč (€ 26.1)

Format: E-Book, Publisher: American Mathematical Society

Availability: E-book delivered electronically online

Complexity and Real Computation

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer New York

Availability: E-book delivered electronically online

Cellular Automata and Cooperative Systems

Price for Eshop: 7026 Kč (€ 281.0)

Format: E-Book, Publisher: Springer Netherlands

Availability: E-book delivered electronically online