Review: Logic and Foundations of Mathematics. Selected Contributed Papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995, edited by A. Cantini, E. Casari, and P. Minari (original) (raw)
Related papers
Operations, Collections and Sets within a General Axiomatic Framework
Logic and Foundations of Mathematics, 1999
STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS
Essays on Mathematical and Philosophical Logic
1979
TOWARD A MINIMALIST FOUNDATION FOR CONSTRUCTIVE MATHEMATICS
Handbook of mathematical logic
The British Journal for the Philosophy of Science, 1977
Unified Foundations for Mathematics
Arxiv preprint math/0403186, 2004
the foundations of mathematics
Constructive Logics. Part I: A Tutorial on Proof Systems and Typed lambda-Calculi.
Foundations for the formalization of metamathematics and axiomatizations of consequence theories
Annals of Pure and Applied Logic, 2004
Mathematical Logic and Its Applications
1987
Notes on Formal Theories of Truth
Mathematical Logic Quarterly, 1989
On the Foundations of Set Theory
Birkhäuser Basel eBooks, 1996
2012
Logic in general and mathematical logic in particular*
The Foundations of Mathematics in the Theory of Sets
2003
Foundations of constructive mathematics
1985
Preface to the special issue: Interactive theorem proving and the formalization of mathematics
Mathematical Structures in Computer Science
Predicative foundations of arithmetic
Constructive logics part I: A tutorial on proof systems and typed ��-calculi
1993
Reflections on the Foundations of Mathematics
2019
Introduction of Implication and Generalization in Axiomatic Calculi
Formalising foundations of mathematics
Mathematical Structures in Computer Science, 2011
A Relational Axiomatic Framework for the Foundations of Mathematics
2010
International Conference of the Italian Society for Logic and Philosophy of Sciences
Rivista Italiana di Filosofia Analitica- …, 2011
Theory of Computation and Specification over
2015
1993
The Bulletin of Symbolic Logic
2014
19th Brazilian Logic Conference: Book of Abstracts
2019
Hilbert's thesis : some considerations about formalizations of mathematics
1982
Challenges to predicative foundations of arithmetic
The Prospects for Mathematical Logic in the Twenty-First Century
Bulletin of Symbolic Logic, 2001
From mathematical axioms to mathematical rules of proof: recent developments in proof analysis
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 2019