Mathematical logic

Mathematical logic 

Logic is Not Mathematical

Logic is Not Mathematical

Slater Hartley
EnglishPaperback / softback
College Publications
ISBN: 9781848900516
On order
Delivery on Friday, 14. of February 2025
On order
Delivery on Friday, 14. of February 2025
€22.70 -10%
Injective Choice Functions

Injective Choice Functions

Holz Michael
EnglishPaperback / softback
Springer, Berlin
ISBN: 9783540172215
On order
Delivery on Tuesday, 25. of February 2025
On order
Delivery on Tuesday, 25. of February 2025
€26.79 -10%
8th International Conference on Automated Deduction

8th International Conference on Automated Deduction

EnglishPaperback / softback
Springer, Berlin
ISBN: 9783540167808
On order
Delivery on Tuesday, 25. of February 2025
On order
Delivery on Tuesday, 25. of February 2025
€53.67 -10%
Information and Randomness

Information and Randomness

Calude Cristian S.
EnglishHardback
Springer, Berlin
ISBN: 9783540434665
On order
Delivery on Tuesday, 25. of February 2025
On order
Delivery on Tuesday, 25. of February 2025
€80.50 -10%
Types for Proofs and Programs

Types for Proofs and Programs

EnglishPaperback / softback
Springer, Berlin
ISBN: 9783540432876
On order
Delivery on Tuesday, 25. of February 2025
On order
Delivery on Tuesday, 25. of February 2025
€53.67 -10%
Proof Theory in Computer Science

Proof Theory in Computer Science

EnglishPaperback / softback
Springer, Berlin
ISBN: 9783540427520
On order
Delivery on Tuesday, 25. of February 2025
On order
Delivery on Tuesday, 25. of February 2025
€53.67 -10%
Logic for Programming and Automated Reasoning

Logic for Programming and Automated Reasoning

EnglishPaperback / softback
Springer, Berlin
ISBN: 9783540412854
On order
Delivery on Tuesday, 25. of February 2025
On order
Delivery on Tuesday, 25. of February 2025
€53.67 -10%
Algorithms and Complexity

Algorithms and Complexity

Petreschi, Rosella
EnglishPaperback / softback
Springer, Berlin
ISBN: 9783540401766
On order
Delivery on Tuesday, 25. of February 2025
On order
Delivery on Tuesday, 25. of February 2025
€53.67 -10%
Introduction to Mathematical Logic

Introduction to Mathematical Logic

Hermes Hans
EnglishPaperback / softback
Springer, Berlin
ISBN: 9783540058199
On order
Delivery on Tuesday, 25. of February 2025
On order
Delivery on Tuesday, 25. of February 2025
€53.67 -10%
Cambridge Summer School in Mathematical Logic

Cambridge Summer School in Mathematical Logic

EnglishPaperback / softback
Springer, Berlin
ISBN: 9783540055693
On order
Delivery on Tuesday, 25. of February 2025
On order
Delivery on Tuesday, 25. of February 2025
€53.63 -10%
Symposium on Automatic Demonstration

Symposium on Automatic Demonstration

EnglishPaperback / softback
Springer, Berlin
ISBN: 9783540049142
On order
Delivery on Tuesday, 25. of February 2025
On order
Delivery on Tuesday, 25. of February 2025
€42.89 -10%
Parametric Lambda Calculus

Parametric Lambda Calculus

Ronchi Della Rocca Simona
EnglishHardback
Springer, Berlin
ISBN: 9783540200321
On order
Delivery on Tuesday, 25. of February 2025
On order
Delivery on Tuesday, 25. of February 2025
€53.67 -10%
9th International Conference on Automated Deduction

9th International Conference on Automated Deduction

EnglishPaperback / softback
Springer, Berlin
ISBN: 9783540193432
On order
Delivery on Tuesday, 25. of February 2025
On order
Delivery on Tuesday, 25. of February 2025
€107.34 -10%
ISILC - Logic Conference

ISILC - Logic Conference

EnglishPaperback / softback
Springer, Berlin
ISBN: 9783540075349
On order
Delivery on Tuesday, 25. of February 2025
On order
Delivery on Tuesday, 25. of February 2025
€53.63 -10%
Infinitary Logic

Infinitary Logic

EnglishPaperback / softback
Springer, Berlin
ISBN: 9783540074199
On order
Delivery on Tuesday, 25. of February 2025
On order
Delivery on Tuesday, 25. of February 2025
€48.30 -10%
Mathematical Foundations of Computer Science 1984

Mathematical Foundations of Computer Science 1984

EnglishPaperback / softback
Springer, Berlin
ISBN: 9783540133728
On order
Delivery on Tuesday, 25. of February 2025
On order
Delivery on Tuesday, 25. of February 2025
€53.67 -10%
Nonstandard Analysis - Recent Developments

Nonstandard Analysis - Recent Developments

EnglishPaperback / softback
Springer, Berlin
ISBN: 9783540122791
On order
Delivery on Tuesday, 25. of February 2025
On order
Delivery on Tuesday, 25. of February 2025
€48.30 -10%
Logic Symposia, Hakone, 1979, 1980

Logic Symposia, Hakone, 1979, 1980

EnglishPaperback / softback
Springer, Berlin
ISBN: 9783540111610
On order
Delivery on Tuesday, 25. of February 2025
On order
Delivery on Tuesday, 25. of February 2025
€42.89 -10%
Model Theory and Arithmetic

Model Theory and Arithmetic

FrenchPaperback / softback
Springer, Berlin
ISBN: 9783540111597
On order
Delivery on Tuesday, 25. of February 2025
On order
Delivery on Tuesday, 25. of February 2025
€42.89 -10%
Cylindric Set Algebras

Cylindric Set Algebras

Henkin L.
EnglishPaperback / softback
Springer, Berlin
ISBN: 9783540108818
On order
Delivery on Tuesday, 25. of February 2025
On order
Delivery on Tuesday, 25. of February 2025
€42.89 -10%
5th Conference on Automated Deduction

5th Conference on Automated Deduction

EnglishPaperback / softback
Springer, Berlin
ISBN: 9783540100096
On order
Delivery on Tuesday, 25. of February 2025
On order
Delivery on Tuesday, 25. of February 2025
€53.67 -10%
Parameterized Complexity Theory

Parameterized Complexity Theory

Flum, J.
EnglishHardback
Springer, Berlin
ISBN: 9783540299523
On order
Delivery on Tuesday, 25. of February 2025
On order
Delivery on Tuesday, 25. of February 2025
€118.08 -10%
Dynamics of Coupled Map Lattices and of Related Spatially Extended Systems

Dynamics of Coupled Map Lattices and of Related Spatially Extended Systems

EnglishHardback
Springer, Berlin
ISBN: 9783540242895
On order
Delivery on Tuesday, 25. of February 2025
On order
Delivery on Tuesday, 25. of February 2025
€107.34 -10%
Surveys on Solution Methods for Inverse Problems

Surveys on Solution Methods for Inverse Problems

EnglishPaperback / softback
Springer, Wien
ISBN: 9783211834701
On order
Delivery on Tuesday, 25. of February 2025
On order
Delivery on Tuesday, 25. of February 2025
€53.67 -10%