In Dov Gabbay (ed.), The Handbook of the History of Logic. Elsevier. pp. 5--723 (2009)

Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Buy the book Find it on Amazon.com
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,379
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Platitudes in Mathematics.Thomas Donaldson - 2015 - Synthese 192 (6):1799-1820.
Functions in Frege, Bolzano and Husserl.Stefania Centrone - 2010 - History and Philosophy of Logic 31 (4):315-336.
Burali-Forti as a Purely Logical Paradox.Graham Leach-Krouse - 2019 - Journal of Philosophical Logic 48 (5):885-908.
A New–Old Characterisation of Logical Knowledge.Ivor Grattan-Guinness - 2012 - History and Philosophy of Logic 33 (3):245 - 290.
Continuity in Semantic Theories of Programming.Felice Cardone - 2015 - History and Philosophy of Logic 36 (3):242-261.

Add more citations

Similar books and articles

Topological Representation of the Lambda-Calculus.Steve Awodey - 2000 - Mathematical Structures in Computer Science 10 (1):81-96.
$Lambdamu$-Calculus and Bohm's Theorem.Rene David & Walter Py - 2001 - Journal of Symbolic Logic 66 (1):407-413.
Recursion Theory and the Lambda-Calculus.Robert E. Byerly - 1982 - Journal of Symbolic Logic 47 (1):67-83.
Lambda Calculus with Types.H. P. Barendregt - 2013 - Cambridge University Press.
Compact Bracket Abstraction in Combinatory Logic.Sabine Broda & Luís Damas - 1997 - Journal of Symbolic Logic 62 (3):729-740.
The Proofs of $Alpha Rightarrow Alpha$ in $P - W$.Sachio Hirokawa - 1996 - Journal of Symbolic Logic 61 (1):195-211.

Analytics

Added to PP index
2014-02-01

Total views
24 ( #476,083 of 2,519,688 )

Recent downloads (6 months)
1 ( #406,314 of 2,519,688 )

How can I increase my downloads?

Downloads

My notes