Go to main content
Formats
Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS
Cite

Linked e-resources

Details

Volume 1: History and Philosophy
Axiomatisches Denken
Part I: History and Philosophy
Hilbert's Axiomatisches Denken
Scope and Limits of Axiomatics
The Semantic Function of the Axiomatic Method
Aristotle's Relations: An Interpretation in Combinatory Logic
The Two Sides of Modern Axiomatics: Dedekind and Peano, Hilbert and Bourbaki
Notes for a Seminar in Axiomatic Reasoning
Axiomatic Thinking, Identity of Proofs and the Quest for an Intensional Proof-Theoretic Semantics
Proofs as Objects
Where Do Axioms Come From?
Panel Discussion on the Foundations of Mathematics.

Browse Subjects

Show more subjects...

Statistics

from
to
Export