|
|
Lorenzen's proof of consistency for elementary number theory [with an edition and translation of “Ein halbordnungstheoretischer Widerspruchsfreiheitsbeweis”]
Thierry Coquand
,
Stefan Neuwirth
Journal articles
hal-02866976v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Dialectic, the Dictum de Omni and Ecthesis
Michel Crubellier
,
Mathieu Marion
,
Zoe Mcconaughey
,
Shahid Rahman
Journal articles
hal-03651255v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Erhard Weigel's Contributions to the Formation of Symbolic Logic
Maarten Bullynck
Journal articles
hal-01510354v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Review of G. Lejeune (éd.), La question de la logique dans l’Idéalisme allemand (Olms Verlag, Hildesheim, 2013)
Pierre-Jean Renaudie
Journal articles
hal-02082789v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Gödel on concepts
Gabriella Crocco
History and Philosophy of Logic, 2006, pp.171-191
Journal articles
halshs-00558316v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Proof Analysis : A contribution to Hilbert's last problem.
Francesca Poggiolesi
,
S. Negri
,
J. von Plato
History and Philosophy of Logic, 2013, 278 p
Journal articles
halshs-01016620v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Harvard 1940-41: Tarski, Carnap and Quine on a finitistic language of mathematics for science
Paolo Mancosu
History and Philosophy of Logic, 2005, 26 (4), pp.327-357
Journal articles
halshs-00791891v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Essay on Russell on Modalities and Frege on Judgement
Shahid Rahman
History and Philosophy of Logic, 2001, pp.99-112
Journal articles
halshs-00713296v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Gödel on concepts
Gabriella Crocco
History and Philosophy of Logic, 2006, 27, pp.171-191
Journal articles
halshs-00094607v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Which arithmeticisation for which logicism? Russell on relations and quantities in The Principles of Mathematics
Sébastien Gandon
History and Philosophy of Logic, 2008, 29 (1), pp.1-30
Journal articles
halshs-00299868v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Dialectic, the Dictum de Omni and Ecthesis
Michel Crubellier
,
Mathieu Marion
,
Zoe Mcconaughey
,
Shahid Rahman
Journal articles
halshs-01652027v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Book review: M. Detlefsen (ed.), Proof, logic and formalization, London/New York, Routledge, 1992, X+241p, in: History and Philosophy of Logic
Gerhard Heinzmann
Journal articles
hal-01238206v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Review of: Proof Analysis. A contribution to Hilbert's last problem
Francesca Poggiolesi
History and Philosophy of Logic, 2013
Journal articles
halshs-00775824v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Gentzen's Centenary
Francesca Poggiolesi
Journal articles
halshs-01498445v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Natural numbers and infinitesimals: A discussion between Benno Kerry and Georg Cantor
Carlo Proietti
Journal articles
halshs-00791970v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
On Gödel's awareness of Skolem's Helsinki lecture
Mark van Atten
Journal articles
halshs-00790929v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
When logic meets engineering: introduction to logical issues in the history and philosophy of computer science
Liesbeth de Mol
,
Giuseppe Primiero
Journal articles
hal-01358879v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Gödel and the question of the ‘objective existence' of mathematical objects
Pierre Cassou-Noguès
Journal articles
halshs-00275536v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Review: Degen, Systeme der kumulativen Logik, München/Wien : Philosophia Verlag, 1983
Gerhard Heinzmann
History and Philosophy of Logic, 1986, 7 (2), pp.236-240
Journal articles
hal-01238143v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Programming Primes (1968–1976): A Paradigmatic Program and Its Incarnations in the Age of Structured Programming
Maarten Bullynck
Journal articles
hal-01510372v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Gödel's Introduction to Logic in 1939
Pierre Cassou-Noguès
Journal articles
hal-00994771v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|