PBC

Vis mig kun

Reverse Mathematics

Reverse Mathematics

Mummert, Carl

509,93 DKK

J. Michael Dunn on Information Based Logics

J. Michael Dunn on Information Based Logics

Bimbo, Katalin

875,33 DKK

Axiomatic Method and Category Theory

Axiomatic Method and Category Theory

Rodin, Andrei

403,64 DKK

On Hilbert's Sixth Problem

On Hilbert's Sixth Problem

Doria, Francisco Antonio

802,25 DKK

Recent Trends in Algebraic Development Techniques

Recent Trends in Algebraic Development Techniques

Tutu, Ionut

329,95 DKK

Thinking Programs

Thinking Programs

Schreiner, Wolfgang

583,01 DKK

Turing's Revolution

Turing's Revolution

Strahm, Thomas

1021,49 DKK

Logical Legacy of Nikolai Vasiliev and Modern Logic

Logical Legacy of Nikolai Vasiliev and Modern Logic

Zaitsev, Dmitry

875,33 DKK

Theories of the Logos

Theories of the Logos

Bencivenga, Ermanno

802,25 DKK

Cultures of Mathematics and Logic

Cultures of Mathematics and Logic

Xie, Yun

875,33 DKK

V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics

V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics

Vandoulakis, Ioannis M.

1021,49 DKK

Turing's Revolution

Turing's Revolution

Strahm, Thomas

1021,49 DKK

Probabilistic Extensions of Various Logical Systems

Probabilistic Extensions of Various Logical Systems

Ognjanovic, Zoran

875,33 DKK

Finitely Supported Mathematics

Finitely Supported Mathematics

Ciobanu, Gabriel

436,85 DKK

Process Algebras for Petri Nets

Process Algebras for Petri Nets

Gorrieri, Roberto

656,09 DKK

Essays on Godel's Reception of Leibniz, Husserl, and Brouwer

Essays on Godel's Reception of Leibniz, Husserl, and Brouwer

Atten, Mark van

1021,49 DKK

Relational Topology

Relational Topology

Winter, Michael

403,64 DKK

Theories of the Logos

Theories of the Logos

Bencivenga, Ermanno

802,25 DKK

Foundations of Finitely Supported Structures

Foundations of Finitely Supported Structures

Ciobanu, Gabriel

875,33 DKK

Philosophy of Science for Scientists

Philosophy of Science for Scientists

Johansson, Lars-Goran

436,85 DKK

Relational Topology

Relational Topology

Winter, Michael

403,64 DKK

Mathematics of Coordinated Inference

Mathematics of Coordinated Inference

Taylor, Alan D.

436,85 DKK

Georg Cantor 1845 – 1918

Georg Cantor 1845 – 1918

Ilgauds, Hans J.

436,85 DKK

Models and Inferences in Science

Models and Inferences in Science

Nickles, Tom

875,33 DKK

Martin Davis on Computability, Computational Logic, and Mathematical Foundations

Martin Davis on Computability, Computational Logic, and Mathematical Foundations

Policriti, Alberto

875,33 DKK

Strength of Nonstandard Analysis

Strength of Nonstandard Analysis

Neves, Vitor

875,33 DKK

Larisa Maksimova on Implication, Interpolation, and Definability

Larisa Maksimova on Implication, Interpolation, and Definability

Odintsov, Sergei

436,85 DKK

Universal Algebraic Logic

Universal Algebraic Logic

Sain, Ildiko

875,33 DKK

Simple Relation Algebras

Simple Relation Algebras

Andreka, Hajnal

1021,49 DKK

Motion and Genetic Definitions in the Sixteenth-Century Euclidean Tradition

Motion and Genetic Definitions in the Sixteenth-Century Euclidean Tradition

Axworthy, Angela

473,39 DKK