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)

Operations, Collections and Sets within a General Axiomatic Framework

Furio Honsell

Logic and Foundations of Mathematics, 1999

View PDFchevron_right

STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS

UADER Filosofía FHAyCS

View PDFchevron_right

Essays on Mathematical and Philosophical Logic

Ilkka Niiniluoto

1979

View PDFchevron_right

Handbooks of Logic

mike smyth

View PDFchevron_right

TOWARD A MINIMALIST FOUNDATION FOR CONSTRUCTIVE MATHEMATICS

giovanni sambin

View PDFchevron_right

Handbook of mathematical logic

Fermín Jesus Menendez

The British Journal for the Philosophy of Science, 1977

View PDFchevron_right

Unified Foundations for Mathematics

M. Burgin

Arxiv preprint math/0403186, 2004

View PDFchevron_right

the foundations of mathematics

Omar Garcia

View PDFchevron_right

Constructive Logics. Part I: A Tutorial on Proof Systems and Typed lambda-Calculi.

Jean Gallier

View PDFchevron_right

Foundations for the formalization of metamathematics and axiomatizations of consequence theories

Urszula Wybraniec-Skardowska

Annals of Pure and Applied Logic, 2004

View PDFchevron_right

Mathematical Logic and Its Applications

Kurt Godel

1987

View PDFchevron_right

Notes on Formal Theories of Truth

Andrea Cantini

Mathematical Logic Quarterly, 1989

View PDFchevron_right

On the Foundations of Set Theory

Renatus Ziegler

Birkhäuser Basel eBooks, 1996

View PDFchevron_right

VII Conference of the Spanish Society for Logic, Methodology and Philosphy of Science / VII Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España. Santiago de Compostela, Spain, 18th-20th July 2012 Santiago de Compostela, España, 18-20 de julio de 2012

concha martínez vidal

2012

View PDFchevron_right

Logic in general and mathematical logic in particular*

Bertrand Wong

View PDFchevron_right

The Foundations of Mathematics in the Theory of Sets

Roy Cook

2003

View PDFchevron_right

Foundations of constructive mathematics

Michael Beeson

1985

View PDFchevron_right

Preface to the special issue: Interactive theorem proving and the formalization of mathematics

Gérard Huet

Mathematical Structures in Computer Science

View PDFchevron_right

Predicative foundations of arithmetic

Solomon Feferman

View PDFchevron_right

Constructive logics part I: A tutorial on proof systems and typed ��-calculi

Jean Gallier

1993

View PDFchevron_right

Reflections on the Foundations of Mathematics

Deborah Kant

2019

View PDFchevron_right

Introduction of Implication and Generalization in Axiomatic Calculi

Arthur Buchsbaum

View PDFchevron_right

Formalising foundations of mathematics

Florian Rabe

Mathematical Structures in Computer Science, 2011

View PDFchevron_right

A Relational Axiomatic Framework for the Foundations of Mathematics

Lidia Obojska

2010

View PDFchevron_right

International Conference of the Italian Society for Logic and Philosophy of Sciences

giacomo lini

Rivista Italiana di Filosofia Analitica- …, 2011

View PDFchevron_right

Theory of Computation and Specification over

John V Tucker

2015

View PDFchevron_right

Foundations of Mathematics

Erwin Engeler

1993

View PDFchevron_right

The Bulletin of Symbolic Logic

Peter Dybjer

2014

View PDFchevron_right

31st Novembertagung on the History and Philosophy of Mathematics – AXIOMATICS: ANCIENT AND CONTEMPORARY PERSPECTIVES

Benjamin Wilck

View PDFchevron_right

19th Brazilian Logic Conference: Book of Abstracts

Cezar Mortari

2019

View PDFchevron_right

Hilbert's thesis : some considerations about formalizations of mathematics

Lon Berk

1982

View PDFchevron_right

Challenges to predicative foundations of arithmetic

Solomon Feferman

View PDFchevron_right

The Prospects for Mathematical Logic in the Twenty-First Century

Sam Buss

Bulletin of Symbolic Logic, 2001

View PDFchevron_right

From mathematical axioms to mathematical rules of proof: recent developments in proof analysis

Sara Negri

Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 2019

View PDFchevron_right

A Pluralist Approach to the Formalisation of Mathematics

Robin Adams

View PDFchevron_right