Saxo Access
Indkøbskurv

PBC

Vis søgefilter

Vis mig kun

Can Mathematics Be Proved Consistent?

Can Mathematics Be Proved Consistent?

Plato, Jan von

436,85 DKK

Noneist Explorations I

Noneist Explorations I

Routley, Val

1313,81 DKK

Logical Foundations of Computer Science

Logical Foundations of Computer Science

Nerode, Anil

436,85 DKK

Nonstandard Methods in Ramsey Theory and Combinatorial Number Theory

Nonstandard Methods in Ramsey Theory and Combinatorial Number Theory

Lupini, Martino

403,64 DKK

New Essays on Belnap--Dunn Logic

New Essays on Belnap--Dunn Logic

Wansing, Heinrich

875,33 DKK

Mathesis Universalis, Computability and Proof

Mathesis Universalis, Computability and Proof

Schuster, Peter M.

1021,49 DKK

Model-Theoretic Approach to Proof Theory

Model-Theoretic Approach to Proof Theory

Kotlarski, Henryk

436,85 DKK

Philosophical and Mathematical Logic

Philosophical and Mathematical Logic

Swart, Harrie de

436,85 DKK

What is Fundamental?

What is Fundamental?

Merali, Zeeya

583,01 DKK

Mathematics, Informatics, and Their Applications in Natural Sciences and Engineering

Mathematics, Informatics, and Their Applications in Natural Sciences and Engineering

Natroshvili, David

875,33 DKK

Heyting Algebras

Heyting Algebras

Esakia, Leo

473,39 DKK

What is Fundamental?

What is Fundamental?

Merali, Zeeya

583,01 DKK

Logic Functions and Equations

Logic Functions and Equations

Steinbach, Bernd

1386,89 DKK

Selected Topics in Probabilistic Safety Assessment

Selected Topics in Probabilistic Safety Assessment

Ulmeanu, Anatoli Paul

1240,73 DKK

Quantum Computation and Logic

Quantum Computation and Logic

Sergioli, Giuseppe

948,41 DKK

Heyting Algebras

Heyting Algebras

Esakia, Leo

473,39 DKK

Legacy of Kurt Schutte

Legacy of Kurt Schutte

Rathjen, Michael

1021,49 DKK

Quantum Computation and Logic

Quantum Computation and Logic

Sergioli, Giuseppe

948,41 DKK

Quantum, Probability, Logic

Quantum, Probability, Logic

Shenker, Orly

1313,81 DKK

Mathematics, Informatics, and Their Applications in Natural Sciences and Engineering

Mathematics, Informatics, and Their Applications in Natural Sciences and Engineering

Natroshvili, David

875,33 DKK

Modelling Nature: An Opinionated Introduction to Scientific Representation

Modelling Nature: An Opinionated Introduction to Scientific Representation

Nguyen, James

875,33 DKK

Contextualism, Factivity and Closure

Contextualism, Factivity and Closure

Vassallo, Nicla

436,85 DKK

Sets, Logic and Maths for Computing

Sets, Logic and Maths for Computing

Makinson, David

436,85 DKK

Panenmentalist Philosophy of Science

Panenmentalist Philosophy of Science

Gilead, Amihud

436,85 DKK

Duality Theories for Boolean Algebras with Operators

Duality Theories for Boolean Algebras with Operators

Givant, Steven

436,85 DKK

Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Wies, Thomas

802,25 DKK

Selected Topics in Probabilistic Safety Assessment

Selected Topics in Probabilistic Safety Assessment

Ulmeanu, Anatoli Paul

1240,73 DKK

Gewöhnliche Differentialgleichungen

Gewöhnliche Differentialgleichungen

Bornemann, Folkmar

265,81 DKK

Decision Theory and Multi-Agent Planning

Decision Theory and Multi-Agent Planning

Lenz, Hans-Joachim

436,85 DKK

Logic Functions and Equations

Logic Functions and Equations

Steinbach, Bernd

1386,89 DKK