Ontos Mathematical Logic – serie
Visar alla böcker i serien Ontos Mathematical Logic. Handla med fri frakt och snabb leverans.
6 produkter
Concepts of Proof in Mathematics, Philosophy, and Computer Science
Av Dieter Probst, Peter Schuster
Inbunden, 2016
1962 kr
Lägg i varukorg
A proof is a successful demonstration that a conclusion necessarily follows by logical reasoning from axioms which are considered evident for the given context and agreed upon by the community. It is this concept that sets mathematics apart from other disciplines and distinguishes it as the …
Logic Without Borders
Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics
Av Asa Hirvonen, Juha Kontinen m. fl.
Inbunden, 2015
2206 kr
Lägg i varukorg
In recent years, mathematical logic has developed in many directions, the initial unity of its subject matter giving way to a myriad of seemingly unrelated areas. The articles collected here, which range from historical scholarship to recent research in geometric model theory, squarely address this …
Logic, Computation, Hierarchies
Av Vasco Brattka, Hannes Diener m. fl.
Inbunden, 2014
2206 kr
Lägg i varukorg
Published in honor of Victor L. Selivanov, the 17 articles collected in this volume inform on the latest developments in computability theory and its applications in computable analysis; descriptive set theory and topology; and the theory of omega-languages; as well as non-classical logics, such as …
Ways of Proof Theory
Inbunden, 2010
2489 kr
Lägg i varukorg
On the occasion of the retirement of Wolfram Pohlers the Institut für Mathematische Logik und Grundlagenforschung of the University of Münster organized a colloquium and a workshop which took place July 17 – 19, 2008. This event brought together proof theorists from many parts of the world who have …
Logic, Construction, Computation
Av Ulrich Berger, Hannes Diener m. fl.
Inbunden, 2012
3127 kr
Lägg i varukorg
Over the last few decades the interest of logicians and mathematicians in constructive and computational aspects of their subjects has been steadily growing, and researchers from disparate areas realized that they can benefit enormously from the mutual exchange of techniques concerned with those …
Church's Thesis After 70 Years
Av Adam Olszewski, Jan Wolenski m. fl.
Inbunden, 2006
2932 kr
Lägg i varukorg
Church's Thesis (CT) was first published by Alonzo Church in 1935. CT is a proposition that identifies two notions: an intuitive notion of a effectively computable function defined in natural numbers with the notion of a recursive function. Despite of the many efforts of prominent scientists, …
