Browse books

Showing books 111-120 from 1152

E-Books - Mathematical logic

loading...
Armin Biere (EDT), Carla P. Gomes (EDT)

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

Add to Cart Information
loading...
Katalin Bimbo

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

Add to Cart Information
loading...
Katalin Bimbo

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

Add to Cart Information
loading...
Otto Bird (TRN), J.M. Bochenski (EDT)

Precis of Mathematical Logic

Price for Eshop: 2520 Kč (€ 100.8)

Format: E-Book, Publisher: Springer Netherlands

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Andreas Blass (EDT)

Logic and Its Applications

Price for Eshop: 3533 Kč (€ 141.3)

Format: E-Book, Publisher: American Mathematical Society

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Andreas Blass (EDT), Nachum Dershowitz (EDT), Wolfgang Reisig (EDT)

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

Add to Cart Information
loading...
W. J Blok

Algebraizable Logics

Price for Eshop: 653 Kč (€ 26.1)

Format: E-Book, Publisher: American Mathematical Society

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Lenore Blum, Felipe Cucker, Michael Shub, Steve Smale

Complexity and Real Computation

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer New York

Availability: E-book delivered electronically online

Add to Cart Information
loading...
N. Boccara (EDT), E. Goles (EDT), Servet Martinez (EDT), Pierre Picco (EDT)

Cellular Automata and Cooperative Systems

Price for Eshop: 7026 Kč (€ 281.0)

Format: E-Book, Publisher: Springer Netherlands

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Manuel Bodirsky

Complexity of Infinite-Domain Constraint Satisfaction

Price for Eshop: 3886 Kč (€ 155.4)

Format: E-Book, Publisher: Cambridge University Press

Availability: E-book delivered electronically online

Add to Cart Information
Previous ... 7 8 9 10 11 12 13 14 15 16 17 ... Next