Switch to: Citations

Add references

You must login to add references.
  1. Écrits logigues.Jacques Herbrand - 1968 - Paris,: Presses universitaires de France.
    Cet ouvrage est une réédition numérique d’un livre paru au XXe siècle, désormais indisponible dans son format d’origine.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Russell, idealism, and the emergence of analytic philosophy.Peter Hylton - 1990 - New York: Oxford University Press.
    Analytic philosophy has become the dominant philosophical tradition in the English-speaking world. This book illuminates that tradition through a historical examination of a crucial period in its formation: the rejection of Idealism by Bertrand Russell and G.E. Moore at the beginning of the twentieth century, and the subsequent development of Russell's thought in the period before the First World War.
    Download  
     
    Export citation  
     
    Bookmark   151 citations  
  • The Foundations of Frege’s Logic.Pavel Tichý - 1988 - New York: de Gruyter.
    Chapter One: Constructions. Entities, constructions, and functions When one travels from Los Angeles to New York, going, say, by way of St. Louis, Chicago, ...
    Download  
     
    Export citation  
     
    Bookmark   166 citations  
  • The Foundations of Frege's Logic.Gregor K. Frey - 1993 - Noûs 27 (4):532-535.
    Download  
     
    Export citation  
     
    Bookmark   101 citations  
  • (5 other versions)Grundzüge der theoretischen logik.David Hilbert - 1928 - Berlin,: G. Springer. Edited by Wilhelm Ackermann.
    Die theoretische Logik, auch mathematische oder symbolische Logik genannt, ist eine Ausdehnung der fonnalen Methode der Mathematik auf das Gebiet der Logik. Sie wendet fUr die Logik eine ahnliche Fonnel­ sprache an, wie sie zum Ausdruck mathematischer Beziehungen schon seit langem gebrauchlich ist. In der Mathematik wurde es heute als eine Utopie gelten, wollte man beim Aufbau einer mathematischen Disziplin sich nur der gewohnlichen Sprache bedienen. Die groBen Fortschritte, die in der Mathematik seit der Antike gemacht worden sind, sind zum (...)
    Download  
     
    Export citation  
     
    Bookmark   58 citations  
  • Per Martin-Löf. Intuitionistic type theory. Studies in proof theory. Bibliopolis, Naples1984, ix + 91 pp. [REVIEW]W. A. Howard - 1986 - Journal of Symbolic Logic 51 (4):1075-1076.
    Download  
     
    Export citation  
     
    Bookmark   96 citations  
  • Grundzüge der theoretischen Logik.D. Hilbert & W. Ackermann - 1928 - Annalen der Philosophie Und Philosophischen Kritik 7:157-157.
    Download  
     
    Export citation  
     
    Bookmark   212 citations  
  • (1 other version)Alfred Tarski, Life and Logic.Anita Burdman Feferman & Solomon Feferman - 2005 - Bulletin of Symbolic Logic 11 (4):535-540.
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  • (1 other version)Conceptual Notation and Related Articles. [REVIEW]John Corcoran & David Levin - 1972 - Philosophy of Science 36 (1):454-455.
    Download  
     
    Export citation  
     
    Bookmark   26 citations