PBCD

Vis mig kun

Philosophy and Foundations of Mathematics

Philosophy and Foundations of Mathematics

Heyting, A.

619,55 DKK

Matrix Logic

Matrix Logic

Stern, A.

473,39 DKK

Higher Order Logic Theorem Proving and its Applications

Higher Order Logic Theorem Proving and its Applications

Gordon, M.J.C.

1313,81 DKK

Quantum Cellular Automata: Theory, Experimentation And Prospects

Quantum Cellular Automata: Theory, Experimentation And Prospects

Massimo Macucci, Macucci

302,96 DKK

Meaning, Logic And Ludics

Meaning, Logic And Ludics

Alain Lecomte, Lecomte

436,85 DKK

Algebraic Perspectives on Substructural Logics

Algebraic Perspectives on Substructural Logics

Paoli, Francesco

948,41 DKK

Algebraic Perspectives on Substructural Logics

Algebraic Perspectives on Substructural Logics

Paoli, Francesco

948,41 DKK

Introduction to the Language of Mathematics

Introduction to the Language of Mathematics

Mynard, Frederic

436,85 DKK

Calcul en logique du premier ordre

Calcul en logique du premier ordre

Yves Bouchard, Bouchard

151,31 DKK

Introduction to the Language of Mathematics

Introduction to the Language of Mathematics

Mynard, Frederic

436,85 DKK

Recursion Theory

Recursion Theory

Yu, Liang

1094,57 DKK

Logics of Variable Inclusion

Logics of Variable Inclusion

Baldi, Michele Pra

875,33 DKK

Mathematical Logic

Mathematical Logic

Gyenis, Zalan

436,85 DKK

Mengenlehre

Mengenlehre

Klaua, Dieter

875,33 DKK

Mengenlehre

Mengenlehre

Kamke, E.

875,33 DKK

Formal Techniques for Distributed Objects, Components, and Systems

Formal Techniques for Distributed Objects, Components, and Systems

Willemse, Tim A. C.

436,85 DKK

Logik und Zweckreinheit im neudeutschen Schachproblem

Logik und Zweckreinheit im neudeutschen Schachproblem

Holzhausen, Walther

875,33 DKK

Recursion Theory

Recursion Theory

Yu, Liang

1094,57 DKK

Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal

Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal

Woodin, W. Hugh

2190,77 DKK

Mengenlehre

Mengenlehre

Kamke, E.

875,33 DKK

Theory of Uniform Approximation of Functions by Polynomials

Theory of Uniform Approximation of Functions by Polynomials

Shevchuk, Igor A.

948,41 DKK

Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal

Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal

Woodin, W. Hugh

2190,77 DKK

Fundamentals of Functions and Measure Theory

Fundamentals of Functions and Measure Theory

Mikhalev, Alexander V.

1094,57 DKK

Fuzzy Logic

Fuzzy Logic

Chen, Tianhua

1240,73 DKK

Logic, Everyday Discourse, and Metaphysics

Logic, Everyday Discourse, and Metaphysics

Rigamonti, Gianni

619,55 DKK

Determinacy of Long Games

Determinacy of Long Games

Neeman, Itay

1386,89 DKK

Fundamentals of Set and Number Theory

Fundamentals of Set and Number Theory

Rodionov, Timofey V.

1094,57 DKK

Fundamentals of Set and Number Theory

Fundamentals of Set and Number Theory

Rodionov, Timofey V.

1094,57 DKK

Fuzzy Logic

Fuzzy Logic

Chen, Tianhua

1240,73 DKK

Model Validation and Uncertainty Quantification, Volume 3

Model Validation and Uncertainty Quantification, Volume 3

Mao, Zhu

2190,77 DKK