Saxo Access
Indkøbskurv

PBC

Vis søgefilter

Vis mig kun

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies

Sieg, W.

260,50 DKK

Concept Lattices and Their Applications

Concept Lattices and Their Applications

Belohlavek, Radim

436,85 DKK

Theory and Applications of Satisfiability Testing

Theory and Applications of Satisfiability Testing

Tacchella, Armando

436,85 DKK

Proper Forcing

Proper Forcing

Shelah, S.

692,63 DKK

Cognitive Reasoning

Cognitive Reasoning

Gergely, Tamas

1240,73 DKK

Set Theory

Set Theory

Jech, Thomas

2190,77 DKK

Finite Model Theory

Finite Model Theory

Flum, Jorg

1386,89 DKK

Electromagnetic Fields

Electromagnetic Fields

Katsenelenbaum, Boris Z.

1094,57 DKK

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

Troelstra, Anne S.

509,93 DKK

Die Mathematische Methode

Die Mathematische Methode

Holder, Otto

337,32 DKK

Theory and Applications of Satisfiability Testing - SAT 2007

Theory and Applications of Satisfiability Testing - SAT 2007

Sakallah, Karem A.

436,85 DKK

Einführung in die Mathematische Logik

Einführung in die Mathematische Logik

Rautenberg, Wolfgang

322,59 DKK

Vom Universum des Denkens

Vom Universum des Denkens

Tschirk, Wolfgang

135,33 DKK

Finite Model Theory

Finite Model Theory

Flum, Jorg

692,63 DKK

Hilary Putnam on Logic and Mathematics

Hilary Putnam on Logic and Mathematics

Cook, Roy T.

1021,49 DKK

Rewriting Techniques and Applications

Rewriting Techniques and Applications

Treinen, Ralf

436,85 DKK

Computer Science Logic

Computer Science Logic

Henzinger, Thomas A.

875,33 DKK

Topics in Set Theory

Topics in Set Theory

Bekkali, Mohamed

223,05 DKK

Model Theory and Algebraic Geometry

Model Theory and Algebraic Geometry

Bouscaren, Elisabeth

436,85 DKK

Scientific Philosophy

Scientific Philosophy

Romero, Gustavo E.

619,55 DKK

Lectures on Concurrency and Petri Nets

Lectures on Concurrency and Petri Nets

Rozenberg, Grzegorz

875,33 DKK

Ideal Spaces

Ideal Spaces

Vath, Martin

302,96 DKK

Collegium Logicum

Collegium Logicum

Kurt-Godel-Gesellschaft

436,85 DKK

Higher Infinite

Higher Infinite

Kanamori, Akihiro

1021,49 DKK

Einführung in die Mathematische Logik

Einführung in die Mathematische Logik

Rautenberg, Wolfgang

322,59 DKK

Aspekte des Unendlichen

Aspekte des Unendlichen

Priese, Lutz

288,10 DKK

Pristine Perspectives on Logic, Language and Computation

Pristine Perspectives on Logic, Language and Computation

Rendsvig, Rasmus K.

403,64 DKK

Grundlagen der Computerlinguistik

Grundlagen der Computerlinguistik

Hausser, Roland R.

253,01 DKK

From Objects to Diagrams for Ranges of Functors

From Objects to Diagrams for Ranges of Functors

Wehrung, Friedrich

302,96 DKK

Mechanical Theorem Proving in Geometries

Mechanical Theorem Proving in Geometries

Wu, Wen-tsun

436,85 DKK