SU\G(𝔸)/K·U

Rob Nederpelt

Follow

Generating author description...

All published works
Action Title Year Authors
+ PDF Chat Characteristics of de Bruijn’s early proof checker Automath 2022 Herman Geuvers
Rob Nederpelt
+ Two complete example proofs in λD 2014 Rob Nederpelt
Herman Geuvers
+ Logic in λD 2014 Rob Nederpelt
Herman Geuvers
+ Arithmetical axioms, definitions and lemmas 2014 Rob Nederpelt
Herman Geuvers
+ An elaborated example 2014 Rob Nederpelt
Herman Geuvers
+ Numbers and arithmetic in λD 2014 Rob Nederpelt
Herman Geuvers
+ Definitions 2014 Rob Nederpelt
Herman Geuvers
+ N.G. de Bruijn’s contribution to the formalization of mathematics 2013 Herman Geuvers
Rob Nederpelt
+ A History of Types 2012 Fairouz Kammareddine
Twan Laan
Rob Nederpelt
+ A Modern Perspective on Type Theory 2005 Fairouz Kamareddine
Twan Laan
Rob Nederpelt
+ A Modern Perspective on Type Theory: From Its Origins Until Today 2004 Fairouz Kamareddine
Twan Laan
Rob Nederpelt
+ A Path to Faithful Formalizations of Mathematics 2004 Gueorgui Jojgov
Rob Nederpelt
+ A Refinement of de Bruijn's Formal Language of Mathematics 2004 Fairouz Kamareddine
Rob Nederpelt
+ De Bruijn’s Automath and Pure Type Systems 2003 Fairouz Kamareddine
Twan Laan
Rob Nederpelt
+ Types in Logic and Mathematics Before 1940 2002 Fairouz Kamareddine
Twan Laan
Rob Nederpelt
+ Types in Logic and Mathematics before 1940 2002 Fairouz Kamareddine
Twan Laan
Rob Nederpelt
+ An approach to theorem proving on the basis of a typed lambda-calculus 1980 Rob Nederpelt
+ An approach to theorem proving on the basis of a typed lambda-calculus 1980 Rob Nederpelt
+ The Number of Numerical Outcomes of Iterated Powers 1971 F. Göbel
Rob Nederpelt
+ The Number of Numerical Outcomes of Iterated Powers 1971 F. Gobel
Rob Nederpelt
Common Coauthors
Coauthor Papers Together
Herman Geuvers 8
Twan Laan 6
Fairouz Kamareddine 6
Fairouz Kammareddine 1
Gueorgui I. Jojgov 1
F. Göbel 1
F. Gobel 1
Commonly Cited References
Action Title Year Authors # of times referenced
+ The evolution of type theory in logic and mathematics 1997 Twan Laan
 3
+ PDF Chat Untersuchungen �ber die Grundlagen der Mengenlehre. I 1908 Ernst Zermelo
 3
+ Grundgesetze der Arithmetik : begriffsschriftlich abgeleitet 2009 Gottlob Frege
Thomas Müller
Bernhard Schröder
Rainer Stuhlmann-Laeisz
 2
+ Über die Bausteine der mathematischen Logik 1924 M. Schönfinkel
 2
+ The Search for Mathematical Roots, 1870-1940 2001 I. Grattan-Guinness
 2
+ The thirteen books of Euclid's Elements 1956 Euclid
 2
+ PDF Chat Stetigkeit und Irrationale Zahlen 1965 Richard Dedekind
 2
+ Types in Logic and Mathematics Before 1940 2002 Fairouz Kamareddine
Twan Laan
Rob Nederpelt
 2
+ Toward useful type-free theories. I 1984 Solomon Feferman
 2
+ ON THE FOUNDATIONS OF MATHEMATICS 1907 1975 Frank Plumpton Ramsey
 2
+ The Foundations of Mathematics 1964 W. V. Quine
 2
+ PDF Chat Una questione sui numeri transfiniti 1897 C. Burali-Forti
 2
+ PDF Chat Beitr�ge zur Begr�ndung der transfiniten Mengenlehre 1897 Georg Cantor
 2
+ Cours d'analyse de l'École royale polytechnique 2024 Mariano Hormigón Blánquez
 2
+ Untersuchungen �ber die Grundlagen der Mengenlehre 1925 Adolf Fraenkel
 2
+ Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I 2006 Kurt Gödel
 2
+ Mathematical Logic and the Foundations of Mathematics. 1965 Trevor Evans
G. T. Kneebone
 2
+ PDF Chat Stetigkeit und irrationale Zahlen 1906 2
+ PDF Chat The Principles of Mathematics 1903 R. W. H. T. H.
 2
+ Studies in Logic and the Foundations of Mathematics 2008 2
+ On the consistency of a slight (?) Modification of quine'sMew Foundations 1968 Ronald Bj�rn Jensen
 2
+ PDF Chat Beiträge zur Begründung der transfiniten Mengenlehre 1895 Georg Cantor
 2
+ Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I 1931 Kurt Gödel
 2
+ The Foundations of Mathematics 1926 F. P. Ramsey
 2
+ Russell’s Hidden Substitutional Theory 1998 Gregory Landini
 2
+ The Mathematical Vernacular, A Language for Mathematics with Typed Sets 1994 N.G. de Bruijn
 1
+ PDF Chat On Correctness of Mathematical Texts from a Logical and Practical Point of View 2008 Konstantin Verchinine
Alexander Lyaletski
Andrei Paskevich
А. В. Анисимов
 1
+ PDF Chat Categories for the Working Mathematician 1971 Saunders Mac Lane
 1
+ Cours d'analyse de l'École Royale Polytechnique 2009 Augustin-Louis Cauchy
 1
+ From Frege to Gödel: a source book in mathematical logic, 1879-1931 2021 Jean van Heijenoort
 1
+ Gottlob Frege. Die Grundlagen der Arithmetik. Eine logisch mathematische Untersuchung über den Begriff der Zahl. Centenary edition of 495. With supplementary text critically edited by Christian Thiel. Felix Meiner Verlag, Hamburg1986, LXIII + 187 pp. - Christian Thiel. Einleitung des Herausgebers. Therein, pp. XXI–LXIII. - Ernst Reinhold Eduard Hoppe. Review of Frege's <b>Die Grundlagen der Arithmetik</b> (495). Therein, pp. 109–117. (Reprinted from Archiv der Mathematik und Physik, ser. 2 part… 1988 Matthias Schirn
 1
+ Foundations of Set Theory 2012 Abraham A. Fraenkel
Yehoshua Bar‐Hillel
 1
+ On the Philosophy of Mathematics 1982 Andrzej Lubomirski
 1
+ A Refinement of de Bruijn's Formal Language of Mathematics 2004 Fairouz Kamareddine
Rob Nederpelt
 1
+ PDF Chat Explicit substitutions with de bruijn's levels 1995 Pierre Lescanne
Jocelyne Rouyer-Degli
 1
+ From Frege to Godel: A Source Book in Mathematical Logic, 1879-1931. 1970 Paul Bernays
Jean van Heijenoort
 1
+ Beiträge zur Begründung der transfiniten Mengenlehre. (Zweiter Artikel.) 1897 Georg Cantor
 1
+ A Combinatorial Lemma Involving a Divergence Criterion for Series of Positive Terms 1970 K. A. Post
 1
+ An Introduction to Combinatorial Analysis 1958 R. A. Leibler
John Riordan
 1
+ Russell's mathematical logic 1984 Kurt Gödel
 1
+ John McCarthy. Computer programs for checking mathematical proofs. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence1962, pp. 219–227. 1968 John A. Robinson
 1
+ STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS 2014 1
+ Foundations of Mathematics. 1960 C. E. Springer
Carl H. Denbow
Victor Goedicke
 1
+ The Principles of Mathematics. 1938 E. N.
Bertrand Russell
 1
+ PDF Chat Principia Mathematica 1911 G. B. M.
 1
+ Postponement, conservation and preservation of strong normalization for generalized reduction 2000 Fairouz Kamareddine
 1
+ D. Hilbert und W. Ackermann, Grundzüge der theoretischen Logik, (Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete, Bd. XXVII). 3. Aufl., VIII + 155 S. Berlin‐Göttingen‐Heidelberg 1949. Springer‐Verlag. Preis: brosch. 16,50 DM, geb. 19,80 DM 1950 Max Draeger
 1