Logique arithmétique : l'arithmétisation de la logique

Logique arithmétique : l'arithmétisation de la logique / Yvon Gauthier.

Saved in:

Bibliographic Details
Main Author:	Gauthier, Yvon, 1941-
Format:	eBook
Language:	French
Published:	Québec [Que.] : Presses de l'Université Laval, ©2010
Series:	Collection Logique de la science.
Subjects:	Arithmetic > Foundations. Logic, Symbolic and mathematical. Mathematics > Philosophy. MATHEMATICS > Logic. Arithmetic > Foundations Logic, Symbolic and mathematical Mathematics > Philosophy
Online Access:	Click for online access

Similar Items

Introduction to Logic and to the Methodology of the Deductive Sciences.
by: Tarski, Alfred
Published: (1994)

The search for mathematical roots, 1870-1940 : logics, set theories and the foundations of mathematics from Cantor through Russell to Gödel
by: Grattan-Guinness, I.
Published: (2000)

Logic and foundations of mathematics in Frege's philosophy
Published: (1993)

Mathematics, logic, and their philosophies : essays in honour of Mohammad Ardeshir
Published: (2021)

The logic of number
by: Tennant, Neil, 1950-
Published: (2022)

Math review.
Published: (2012)

Introduction to logic and to the methodology of deductive sciences.
by: Tarski, Alfred
Published: (1965)

Quantifiers Propositions Identity.
by: Goldblatt, Robert
Published: (2011)

Mathematical logic in the 20th century
Published: (2003)

Mathematical logic
by: Chiswell, Ian, 1948-
Published: (2007)

Introducción a la lógica Matemática
by: Tinoco del Valle, Jesús
Published: (2023)

Logicism and its philosophical legacy
by: Demopoulos, William
Published: (2013)

Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008
Published: (2010)

Proceedings of the 12Th Asian Logic Conference.
by: Downey, R. G. (Rod G.)
Published: (2013)

In the Light of Logic.
by: Feferman, Solomon
Published: (1999)

Handbook of Mathematical Logic.
by: Barwise, Jon
Published: (1989)

Introduction to Mathematical Structures and Proofs.
by: Banchoff, Thomas F.
Published: (1996)

Advances in applied logics : applications of logic for philosophy, mathematics and information technology
Published: (2023)

Distilling ideas : an introduction to mathematical thinking
by: Katz, Brian P., et al.
Published: (2013)

Fuzzy logic and mathematics : a historical perspective
by: Bělohlávek, Radim
Published: (2017)

Advances in logic : the North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas
Published: (2007)

Methods and Applications of Mathematical Logic.
by: Carnielli, Walter A.
Published: (1988)

Diamond : a paradox logic
by: Hellerstein, N. S. (Nathaniel S.)
Published: (2010)

Mathematical reasoning : the history and impact of the DReaM group
Published: (2021)

The mathematics of logic : a guide to completeness theorems and their applications
by: Kaye, Richard (Richard W.)
Published: (2007)

The foundations of mathematics
by: Stewart, Ian, 1945-, et al.
Published: (2015)

A tour through mathematical logic
by: Wolf, Robert S.
Published: (2005)

Hiroakira Ono on substructural logic
Published: (2022)

The adventure of reason : interplay between philosophy of mathematics and mathematical logic, 1900-1940
by: Mancosu, Paolo
Published: (2010)

Précis de logique mathématique.
by: Bochenski, Joseph M., 1902-1995
Published: (1948)

Conditional and preferential logics : proof methods and theorem proving
by: Pozzato, Gian Luca
Published: (2010)

Tracking reason : proof, consequence, and truth
by: Azzouni, Jody
Published: (2006)

Logic, language, information, and computation : 27th international workshop, WoLLIC 2021, virtual event, October 5-8, 2021 : proceedings
Published: (2021)

Logic, language, information, and computation : 28th International Workshop, WOLLIC 2022, Iaşi, Romania, September 20-23, 2022, proceedings
Published: (2022)

Formalism and beyond : on the nature of mathematical discourse
Published: (2014)

Hanbdook of logic in computer science. Volume 5, Logic and algebraic methods
Published: (2020)

Logical dynamics of information and interaction
by: Benthem, Johan van, 1949-
Published: (2011)

Advances in experimental philosophy of logic and mathematics
Published: (2019)

Bridge to abstract mathematics
by: Oberste-Vorth, Ralph W., 1959-
Published: (2012)

Philosophy of mathematics in the twentieth century : selected essays
by: Parsons, Charles, 1933-
Published: (2014)