Cover Image

Proof Theory : History and Philosophical Significance /

Show other versions (1)

The conference on Proof Theory: History and Philosophical Significance held in 1997 at the University of Roskilde, Denmark, tracked the history of proof theory and its role in the analysis of the philosophical foundations of mathematics since Hilbert's original program to its modern, highly art...

Full description

Bibliographic Details
Main Author:	Hendricks, Vincent F.
Corporate Author:	SpringerLink (Online service)
Other Authors:	Pedersen, Stig Andur, Jørgensen, Klaus Frovin
Format:	eBook
Language:	English
Published:	Dordrecht : Springer Netherlands, 2000.
Series:	Synthese library ; 292.
Subjects:	Philosophy (General) Logic. Science > Philosophy. Logic, Symbolic and mathematical. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Trends in Logic : 50 Years of Studia Logica /
by: Hendricks, Vincent F.
Published: (2003)

Introduction to Axiomatic Set Theory /
by: Krivine, J. L. (Jean Louis)
Published: (1971)

Handbook of Philosophical Logic : Volume II: Extensions of Classical Logic /
by: Gabbay, D.
Published: (1984)

Handbook of Philosophical Logic : Volume I: Elements of Classical Logic /
by: Gabbay, D.
Published: (1983)

A Guide to Classical and Modern Model Theory /
by: Marcja, A. (Annalisa)
Published: (2003)

Course of Mathematical Logic : Volume 2 Model Theory /
by: Fraïssé, Roland
Published: (1974)

The Growth of Mathematical Knowledge /
by: Grosholz, Emily
Published: (2000)

Mathematical Intuition : Phenomenology and Mathematical Knowledge /
by: Tieszen, Richard L.
Published: (1989)

Domains and Processes : Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999 /
by: Keimel, Klaus
Published: (2001)

Handbook of Philosophical Logic : Volume III: Alternatives in Classical Logic /
by: Gabbay, D.
Published: (1986)

Mind, Meaning and Mathematics : Essays on the Philosophical Views of Husserl and Frege /
by: Haaparanta, Leila
Published: (1994)

Leśniewski's Systems Protothetic /
by: Srzednicki, Jan T. J.
Published: (1998)

A Precis of Mathematical Logic /
by: Bochenski, J. M.
Published: (1959)

Hilbert's Program : An Essay on Mathematical Instrumentalism /
by: Detlefsen, Michael
Published: (1986)

Logic and Foundations of Mathematics : Selected Contributed Papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995 /
by: Cantini, Andrea
Published: (1999)

Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics /
by: Gabbay, Dov M.
Published: (1976)

Truthlikeness /
by: Niiniluoto, Ilkka
Published: (1987)

Labelled Non-Classical Logics /
by: Viganò, Luca
Published: (2000)

Directions in Relevant Logic /
by: Norman, Jean
Published: (1989)

From Dedekind to Gödel : Essays on the Development of the Foundations of Mathematics /
by: Hintikka, Jaakko
Published: (1995)

Logic, Meaning and Computation : Essays in Memory of Alonzo Church /
by: Anderson, C. Anthony
Published: (2001)

Recursive Functions and Metamathematics : Problems of Completeness and Decidability, Gödel's Theorems /
by: Murawski, Roman
Published: (1999)

Triangular Norms /
by: Klement, E. P. (Erich Peter)
Published: (2000)

An Essay in Universal Semantics /
by: Varzi, Achille C.
Published: (1999)

Bridging the Gap: Philosophy, Mathematics, and Physics : Lectures on the Foundations of Science /
by: Corsi, Giovanna
Published: (1993)

Formal Aspects of Context /
by: Bonzon, Pierre
Published: (2000)

Handbook of Defeasible Reasoning and Uncertainty Management Systems : Algorithms for Uncertainty and Defeasible Reasoning /
by: Kohlas, Jürg
Published: (2000)

First-Order Modal Logic /
by: Fitting, Melvin
Published: (1998)

Multi-Dimensional Modal Logic /
by: Marx, Maarten
Published: (1997)

Agent-Based Defeasible Control in Dynamic Environments /
by: Meyer, John-Jules Ch
Published: (2002)

Reasoning with Actual and Potential Contradictions /
by: Besnard, Philippe
Published: (1998)

Displaying Modal Logic /
by: Wansing, H. (Heinrich)
Published: (1998)

The Lvov-Warsaw School and Contemporary Philosophy /
by: Kijania-Placek, Katarzyna
Published: (1998)

Doing Worlds with Words : Formal Semantics without Formal Metaphysics /
by: Peregrin, Jaroslav
Published: (1995)

Fuzzy Sets, Logics and Reasoning about Knowledge /
by: Dubois, Didier
Published: (1999)

Quantifiers: Logics, Models and Computation : Volume One: Surveys /
by: Krynicki, Michał
Published: (1995)

Sheaves, Games, and Model Completions : a Categorial Approach to Nonclassical Propositional Logics /
by: Ghilardi, Silvio
Published: (2002)

Quantifiers: Logics, Models and Computation : Volume Two: Contributions /
by: Krynicki, Michał
Published: (1995)

Acting and Reflecting : the Interdisciplinary Turn in Philosophy /
by: Sieg, Wilfried
Published: (1989)

The Logic of Time : a Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse /
by: Benthem, J. F. A. K.
Published: (1982)