This is the complete frozen source bibliography, including uncited database records. All source fields, spellings and author/editor credits are preserved; bibliographic factual claims have not been silently corrected.
Rózsa (Rosa) Péter
- Title
- Rózsa (Rosa) Péter
- Author
- Andrásfai, Béla
- Journal
- Periodica Polytechnica Electrical Engineering
- Volume
- 30
- Number
- 2-3
- Pages
- 139–145
- Year
- 1986
- Url
- http://www.pp.bme.hu/ee/article/view/4651 (external resource; internet required)
Original bibliography source
The Princeton Mathematics Community in the 1930s: Alonzo Church
- Author
- Aspray, William
- Title
- The Princeton Mathematics Community in the 1930s: Alonzo Church
- Year
- 1984
- Note
- Interview
- Url
- http://www.princeton.edu/mudd/finding_aids/mathoral/pmc05.htm (external resource; internet required)
Original bibliography source
Kurt Gödel and the Foundations of Mathematics: Horizons of Truth
- Title
- Kurt Gödel and the Foundations of Mathematics: Horizons of Truth
- Author
- Baaz, Matthias and Papadimitriou, Christos H. and Putnam, Hilary W. and Scott, Dana S. and Harper Jr., Charles L.
- Year
- 2011
- Publisher
- Cambridge University Press
- Address
- Cambridge
Original bibliography source
Rózsa Péter
- Author
- Bailey, Ellen
- Journal
- Rózsa Péter
- Title
- Rózsa Péter
- Url
- http://search.ebscohost.com/login.aspx?direct=true&db=sch&AN=20916042&site=ehost-live (external resource; internet required)
- Year
- 2006
Original bibliography source
Level Theory, Part 1: Axiomatizing the Bare Idea of a Cumulative Hierarchy of Sets
- Author
- Button, Tim
- Journal
- The Bulletin of Symbolic Logic
- Year
- 2021
- Title
- Level Theory, Part 1: Axiomatizing the Bare Idea of a Cumulative Hierarchy of Sets
- Volume
- 27
- Number
- 4
- Pages
- 436-460
Original bibliography source
A note on the Entscheidungsproblem
- Author
- Alonzo Church
- Title
- A note on the Entscheidungsproblem
- Journal
- The Journal of Symbolic Logic
- Year
- 1936
- Volume
- 1
- Pages
- 40–41
Original bibliography source
An Unsolvable Problem of Elementary Number Theory
- Title
- An Unsolvable Problem of Elementary Number Theory
- Author
- Alonzo Church
- Journal
- American Journal of Mathematics
- Volume
- 58
- Year
- 1936
- Pages
- 345–363
Original bibliography source
Zala Films: Julia Robinson and Hilbert's Tenth Problem
- Author
- Csicsery, George
- Title
- Zala Films: Julia Robinson and Hilbert's Tenth Problem
- Year
- 2016
- Url
- http://www.zalafilms.com/films/juliarobinson.html (external resource; internet required)
Original bibliography source
Georg Cantor: His Mathematics and Philosophy of the Infinite
- Title
- Georg Cantor: His Mathematics and Philosophy of the Infinite
- Author
- Dauben, Joseph
- Year
- 1990
- Publisher
- Princeton University Press
- Address
- Princeton
Original bibliography source
Georg Cantor and the Battle for Transfinite Set Theory
- Title
- Georg Cantor and the Battle for Transfinite Set Theory
- Author
- Dauben, Joseph
- Year
- 2004
- Journal
- Journal of the ACMS
- Volume
- 1
- Pages
- 1–17
Original bibliography source
The Decision Problem for Exponential Diophantine Equations
- Url
- http://www.jstor.org/stable/1970289 (external resource; internet required)
- Author
- Martin Davis and Hilary Putnam and Julia Robinson
- Journal
- Annals of Mathematics
- Number
- 3
- Pages
- 425-436
- Title
- The Decision Problem for Exponential Diophantine Equations
- Volume
- 74
- Year
- 1961
Original bibliography source
Logical Dilemmas: The Life and Work of Kurt Gödel
- Title
- Logical Dilemmas: The Life and Work of Kurt Gödel
- Author
- John Dawson, Jr.
- Year
- 1997
- Publisher
- CRC Press
- Address
- Boca Raton
Original bibliography source
Emmy Noether 1882–1935
- Title
- Emmy Noether 1882–1935
- Author
- Dick, Auguste
- Year
- 1981
- Publisher
- Birkhäuser
- Address
- Boston
Original bibliography source
The Bertrand Russell Research Centre
- Author
- Duncan, Arlene
- Title
- The Bertrand Russell Research Centre
- Year
- 2015
- Url
- http://russell.mcmaster.ca/ (external resource; internet required)
Original bibliography source
Ernst Zermelo. Collected Works
- Title
- Ernst Zermelo. Collected Works
- Volume
- 1
- Author
- Ebbinghaus, Heinz-Dieter and Fraser, Craig G. and Kanamori, Akihiro
- Year
- 2010
- Publisher
- Springer-Verlag
- Address
- Berlin
Original bibliography source
Ernst Zermelo: Collected Works
- Title
- Ernst Zermelo: Collected Works
- Volume
- 2
- Author
- Ebbinghaus, Heinz-Dieter and Kanamori, Akihiro
- Year
- 2013
- Publisher
- Springer-Verlag
- Address
- Berlin
Original bibliography source
Ernst Zermelo: An Approach to his Life and Work
- Title
- Ernst Zermelo: An Approach to his Life and Work
- Author
- Ebbinghaus, Heinz-Dieter
- Year
- 2015
- Publisher
- Springer-Verlag
- Address
- Berlin
Original bibliography source
Alonzo Church: Life and Work
- Title
- Alonzo Church: Life and Work
- Author
- Herbert B. Enderton
- Editor
- Tyler Burge and Herbert B. Enderton
- Booktitle
- The Collected Works of Alonzo Church
- Publisher
- MIT Press
- Year
- 2019
- Address
- Cambridge, MA
Original bibliography source
Julia Bowman Robinson 1919–1985
- Author
- Feferman, Solomon
- Year
- 1994
- Title
- Julia Bowman Robinson 1919–1985
- Journal
- Biographical Memoirs of the National Academy of Sciences
- Volume
- 63
- Pages
- 1–28
- Publisher
- National Academies Press
- Url
- http://www.nasonline.org/publications/biographical-memoirs/memoir-pdfs/robinson-julia.pdf (external resource; internet required)
Original bibliography source
Alfred Tarski: Life and Logic
- Title
- Alfred Tarski: Life and Logic
- Author
- Feferman, Anita and Feferman, Solomon
- Year
- 2004
- Publisher
- Cambridge University Press
- Address
- Cambridge
Original bibliography source
Stuff you Missed in History Class: Emmy Noether, Mathematics Trailblazer
- Author
- Frey, Holly and Wilson, Tracy V.
- Title
- Stuff you Missed in History Class: Emmy Noether, Mathematics Trailblazer
- Year
- 2015
- Note
- Podcast audio
- Url
- https://www.iheart.com/podcast/stuff-you-missed-in-history-cl-21124503/episode/emmy-noether-mathematics-trailblazer-30207491/ (external resource; internet required)
Original bibliography source
Untersuchungen über das logische Schließen I
- Author
- Gerhard Gentzen
- Year
- 1935
- Title
- Untersuchungen über das logische Schließen I
- Journal
- Mathematische Zeitschrift
- Volume
- 39
- Issue
- 1
- Pages
- 176–210
- Note
- English translation in Manfred E. Szabo (1969), pp. 68–131
- Doi
- 10.1007/BF01201353
Original bibliography source
Untersuchungen über das logische Schließen II
- Author
- Gerhard Gentzen
- Year
- 1935
- Title
- Untersuchungen über das logische Schließen II
- Journal
- Mathematische Zeitschrift
- Volume
- 39
- Issue
- 1
- Pages
- 176–210, 405–431
- Note
- English translation in Manfred E. Szabo (1969), pp. 68–131
- Doi
- 10.1007/BF01201363
Original bibliography source
The Collected Papers of Gerhard Gentzen
- Author
- Szabo, Manfred E.
- Year
- 1969
- Title
- The Collected Papers of Gerhard Gentzen
- Booktitle
- The Collected Papers of Gerhard Gentzen
- Publisher
- North-Holland
- Address
- Amsterdam
Original bibliography source
Über die Vollständigkeit des Logikkalküls [On the Completeness of the Calculus of Logic]
- Author
- Kurt Gödel
- Year
- 1929
- Title
- Über die Vollständigkeit des Logikkalküls [On the Completeness of the Calculus of Logic]
- Note
- Reprinted and translated in Solomon Feferman and John W. Dawson Jr. and Stephen C. Kleene and Gregory H. Moore and Robert M. Solovay and Jean van Heijenoort (1986), pp. 60–101
- School
- Universität Wien
- Type
- Dissertation
Original bibliography source
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I [On Formally Undecidable Propositions of Principia Mathematica and Related Systems I]
- Author
- Kurt Gödel
- Title
- Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I [On Formally Undecidable Propositions of Principia Mathematica and Related Systems I]
- Journal
- Monatshefte für Mathematik und Physik
- Year
- 1931
- Volume
- 38
- Pages
- 173–198
- Note
- Reprinted and translated in Solomon Feferman and John W. Dawson Jr. and Stephen C. Kleene and Gregory H. Moore and Robert M. Solovay and Jean van Heijenoort (1986), pp. 144–195
- Doi
- 10.1007/BF01700692
Original bibliography source
Kurt Gödel: Collected Works. Vol. 1: Publications 1929–1936
- Title
- Kurt Gödel: Collected Works. Vol. 1: Publications 1929–1936
- Author
- Feferman, Solomon and Dawson Jr., John W. and Kleene, Stephen C. and Moore, Gregory H. and Solovay, Robert M. and van Heijenoort, Jean
- Year
- 1986
- Publisher
- Oxford University Press
- Address
- Oxford
Original bibliography source
Kurt Gödel: Collected Works. Vol. 2: Publications 1938–1974
- Title
- Kurt Gödel: Collected Works. Vol. 2: Publications 1938–1974
- Author
- Feferman, Solomon and Dawson Jr., John W. and Kleene, Stephen C. and Moore, Gregory H. and Solovay, Robert M. and van Heijenoort, Jean
- Year
- 1990
- Publisher
- Oxford University Press
- Address
- Oxford
Original bibliography source
Towards a Biography of Georg Cantor
- Title
- Towards a Biography of Georg Cantor
- Author
- Grattan-Guinness, Ivor
- Journal
- Annals of Science
- Volume
- 27
- Number
- 4
- Pages
- 345–391
- Year
- 1971
Original bibliography source
Reading Frege's Grundgesetze
- Author
- Richard Kimberly Heck
- Title
- Reading Frege's Grundgesetze
- Publisher
- Oxford University Press
- Year
- 2012
- Address
- Oxford
Original bibliography source
Alan Turing: The Enigma
- Title
- Alan Turing: The Enigma
- Author
- Hodges, Andrew
- Year
- 2014
- Publisher
- Vintage
- Address
- London
Original bibliography source
The Imitation Game
- Author
- Morten Tyldum
- Title
- The Imitation Game
- Year
- 2014
- Note
- Motion picture
Original bibliography source
Sound Clips of Bertrand Russell Speaking
- Author
- Irvine, Andrew David
- Title
- Sound Clips of Bertrand Russell Speaking
- Year
- 2015
- Url
- http://plato.stanford.edu/entries/russell/russell-soundclips.html (external resource; internet required)
Original bibliography source
Partition and revision: The semantics of counterfactuals
- Author
- Kratzer, Angelika
- Title
- Partition and revision: The semantics of counterfactuals
- Journal
- Journal of Philosophical Logic
- Year
- 1981
- Volume
- 10
- Number
- 2
- Pages
- 201–216
- Doi
- 10.1007/BF00248849
Original bibliography source
Bertrand Russell
- Author
- LibriVox
- Title
- Bertrand Russell
- Year
- n.d.
- Note
- Collection of public domain audiobooks
- Url
- https://librivox.org/author/1508?primary_key=1508&search_category=author&search_page=1&search_form=get_results (external resource; internet required)
Original bibliography source
The Partially Examined Life: Gödel on Math
- Author
- Linsenmayer, Mark
- Title
- The Partially Examined Life: Gödel on Math
- Year
- 2014
- Note
- Podcast audio
- Url
- http://www.partiallyexaminedlife.com/2014/06/16/ep95-godel/ (external resource; internet required)
Original bibliography source
Alonzo Church's JSL Reviews
- Author
- MacFarlane, John
- Title
- Alonzo Church's JSL Reviews
- Year
- 2015
- Url
- http://johnmacfarlane.net/church.html (external resource; internet required)
Original bibliography source
Believing the Axioms I
- Author
- Penelope Maddy
- Title
- Believing the Axioms I
- Journal
- The Journal of Symbolic Logic
- Year
- 1988
- Volume
- 53
- Number
- 2
- Pages
- 481–511
Original bibliography source
Believing the Axioms II
- Author
- Penelope Maddy
- Title
- Believing the Axioms II
- Journal
- The Journal of Symbolic Logic
- Year
- 1988
- Volume
- 53
- Number
- 3
- Pages
- 736–64
Original bibliography source
Forall x: Calgary. An Introduction to Formal Logic
- Title
- Forall x: Calgary. An Introduction to Formal Logic
- Author
- Magnus, P. D. and Button, Tim and Loftis, J. Robert and Thomas-Bolduc, Aaron and Trueman, Robert and Zach, Richard
- Year
- 2021
- Edition
- F21
- Publisher
- Open Logic Project
- Address
- Calgary
- Url
- https://forallx.openlogicproject.org/ (external resource; internet required)
- Copyright
- All rights reserved
- Keywords
- textbook
Original bibliography source
My Collaboration with Julia Robinson
- Title
- My Collaboration with Julia Robinson
- Author
- Matijasevich, Yuri
- Journal
- The Mathematical Intelligencer
- Volume
- 14
- Number
- 4
- Pages
- 38–45
- Year
- 1992
Original bibliography source
Logic's Lost Genius: The Life of Gerhard Gentzen
- Title
- Logic's Lost Genius: The Life of Gerhard Gentzen
- Author
- Menzler-Trott, Eckart
- Year
- 2007
- Publisher
- American Mathematical Society
- Address
- Providence
Original bibliography source
Set theory and higher-order logic
- Author
- Montague, Richard
- Title
- Set theory and higher-order logic
- Booktitle
- Formal systems and recursive functions
- Publisher
- North-Holland
- Year
- 1965
- Editor
- John Crossley and Michael Dummett
- Pages
- 131–48
- Address
- Amsterdam
- Note
- Proceedings of the Eight Logic Colloquium, July 1963
Original bibliography source
Emmy Noether: Gesammelte Abhandlungen—Collected Papers
- Title
- Emmy Noether: Gesammelte Abhandlungen—Collected Papers
- Author
- Jacobson, Nathan
- Year
- 1983
- Publisher
- Springer-Verlag
- Address
- Berlin
Original bibliography source
Rózsa Péter
- Author
- O'Connor, John J. and Robertson, Edmund F.
- Title
- Rózsa Péter
- Year
- 2014
- Url
- http://www-groups.dcs.st-and.ac.uk/~history/Biographies/Peter.html (external resource; internet required)
Original bibliography source
Emmy Noether: Her Life, Work, and Influence
- Author
- Perimeter Institute
- Title
- Emmy Noether: Her Life, Work, and Influence
- Year
- 2015
- Note
- Video Lecture
- Url
- https://www.youtube.com/watch?v=tNNyAyMRsgE (external resource; internet required)
Original bibliography source
Über den Zusammenhang der verschiedenen Begriffe der rekursiven Funktion
- Author
- Péter, Rózsa
- Title
- Über den Zusammenhang der verschiedenen Begriffe der rekursiven Funktion
- Journal
- Mathematische Annalen
- Volume
- 110
- Year
- 1935a
- Pages
- 612–632
- Doi
- 10.1007/BF01448046
Original bibliography source
Konstruktion nichtrekursiver Funktionen
- Author
- Péter, Rózsa
- Title
- Konstruktion nichtrekursiver Funktionen
- Journal
- Mathematische Annalen
- Volume
- 111
- Year
- 1935b
- Pages
- 42–60
- Doi
- 10.1007/BF01472200
Original bibliography source
Rekursive Funktionen
- Author
- Péter, Rózsa
- Title
- Rekursive Funktionen
- Publisher
- Akademiai Kiado
- Address
- Budapest
- Year
- 1951
- Note
- English translation in (Rózsa Péter, 1967)
Original bibliography source
Recursive Functions
- Author
- Péter, Rózsa
- Title
- Recursive Functions
- Publisher
- Academic Press
- Address
- New York
- Year
- 1967
Original bibliography source
Playing with Infinity
- Title
- Playing with Infinity
- Author
- Péter, Rózsa
- Year
- 2010
- Address
- New York
- Publisher
- Dover
- Url
- https://books.google.ca/books?id=6V3wNs4uv_4C&lpg=PP1&ots=BkQZaHcR99&lr&pg=PP1#v=onepage&q&f=false (external resource; internet required)
Original bibliography source
The Turing Problem
- Author
- Radiolab
- Title
- The Turing Problem
- Year
- 2012
- Note
- Podcast audio
- Url
- http://www.radiolab.org/story/193037-turing-problem/ (external resource; internet required)
Original bibliography source
Talking to Machines
- Author
- Radiolab
- Title
- Talking to Machines
- Year
- N.D.
- Note
- Podcast audio
- Url
- http://www.radiolab.org/story/137407-talking-to-machines/ (external resource; internet required)
Original bibliography source
The Autobiography of Julia Robinson
- Title
- The Autobiography of Julia Robinson
- Author
- Reid, Constance
- Journal
- The College Mathematics Journal
- Volume
- 17
- Issue
- 1
- Pages
- 3–21
- Year
- 1986
Original bibliography source
Julia: A Life in Mathematics
- Author
- Constance Reid
- Title
- Julia: A Life in Mathematics
- Publisher
- Cambridge University Press
- Year
- 1996
- Address
- Cambridge
- Url
- https://books.google.ca/books?id=lRtSzQyHf9UC&lpg=PP1&pg=PP1#v=onepage&q&f=false (external resource; internet required)
Original bibliography source
Definability and Decision Problems in Arithmetic
- Url
- http://www.jstor.org/stable/2266510 (external resource; internet required)
- Author
- Julia Robinson
- Journal
- The Journal of Symbolic Logic
- Number
- 2
- Pages
- 98-114
- Title
- Definability and Decision Problems in Arithmetic
- Volume
- 14
- Year
- 1949
Original bibliography source
The Collected Works of Julia Robinson
- Author
- Robinson, Julia
- Year
- 1996
- Title
- The Collected Works of Julia Robinson
- Publisher
- American Mathematical Society
- Address
- Providence
Original bibliography source
A Song about Georg Cantor
- Author
- Rose, Daniel
- Title
- A Song about Georg Cantor
- Year
- 2012
- Note
- Audio Recording
- Url
- https://www.youtube.com/watch?v=QUP5Z4Fb5k4 (external resource; internet required)
Original bibliography source
On Denoting
- Author
- Bertrand Russell
- Title
- On Denoting
- Journal
- Mind
- Year
- 1905
- Volume
- 14
- Pages
- 479–493
Original bibliography source
The Autobiography of Bertrand Russell
- Author
- Bertrand Russell
- Year
- 1967
- Title
- The Autobiography of Bertrand Russell
- Volume
- 1
- Publisher
- Allen and Unwin
- Address
- London
Original bibliography source
The Autobiography of Bertrand Russell
- Author
- Bertrand Russell
- Year
- 1968
- Title
- The Autobiography of Bertrand Russell
- Volume
- 2
- Publisher
- Allen and Unwin
- Address
- London
Original bibliography source
The Autobiography of Bertrand Russell
- Author
- Bertrand Russell
- Year
- 1969
- Title
- The Autobiography of Bertrand Russell
- Volume
- 3
- Publisher
- Allen and Unwin
- Address
- London
Original bibliography source
Collected Papers
- Author
- Bertrand Russell
- Year
- 1983
- Title
- Collected Papers
- Publisher
- Routledge
- Address
- London
Original bibliography source
Bertrand Russell on Smoking
- Author
- Bertrand Russell
- Title
- Bertrand Russell on Smoking
- Year
- n.d.
- Note
- Video Interview
- Url
- https://www.youtube.com/watch?v=80oLTiVW_lc (external resource; internet required)
Original bibliography source
A Brief History of Mathematics: Georg Cantor
- Author
- Marcus du Sautoy
- Title
- A Brief History of Mathematics: Georg Cantor
- Year
- 2014
- Note
- Audio Recording
- Url
- http://www.bbc.co.uk/programmes/b00ss1j0 (external resource; internet required)
Original bibliography source
Mathematicians under the Nazis
- Title
- Mathematicians under the Nazis
- Author
- Segal, Sanford L.
- Year
- 2014
- Publisher
- Princeton University Press
- Address
- Princeton
Original bibliography source
Kurt Gödel: Das Album–The Album
- Title
- Kurt Gödel: Das Album–The Album
- Author
- Sigmund, Karl and Dawson, John and Mühlberger, Kurt and Enzensberger, Hans Magnus and Kennedy, Juliette
- Journal
- The Mathematical Intelligencer
- Volume
- 29
- Number
- 3
- Pages
- 73–76
- Year
- 2007
- Publisher
- Springer
Original bibliography source
An Introduction to Gödel's Theorems
- Title
- An Introduction to Gödel's Theorems
- Author
- Smith, Peter
- Year
- 2013
- Publisher
- Cambridge University Press
- Address
- Cambridge
Original bibliography source
Kurt Gödel Society
- Author
- Beckmann, Arnold and Preining, Norbert
- Title
- Kurt Gödel Society
- Year
- 2004
- Url
- http://kgs.logic.at/index.php?id=2 (external resource; internet required)
Original bibliography source
A theory of conditionals
- Author
- Stalnaker, Robert C.
- Title
- A theory of conditionals
- Pages
- 98-112
- Boobktitle
- Studies in Logical Theory
- Editor
- Nicholas Rescher
- Publisher
- Basil Blackwell
- Address
- Oxford
- Year
- 1968
Original bibliography source
BBC Horizon: The Strange Life and Death of Dr. Turing
- Author
- Sykes, Christopher
- Title
- BBC Horizon: The Strange Life and Death of Dr. Turing
- Year
- 1992
- Url
- https://www.youtube.com/watch?v=gyusnGbBSHE (external resource; internet required)
Original bibliography source
Memoirs of a Proof Theorist: Gödel and Other Logicians
- Title
- Memoirs of a Proof Theorist: Gödel and Other Logicians
- Author
- Takeuti, Gaisi and Passell, Nicholas and Yasugi, Mariko
- Year
- 2003
- Publisher
- World Scientific
- Address
- Singapore
Original bibliography source
Interview with Róza Péter
- Title
- Interview with Róza Péter
- Author
- Tamassy, Istvan
- Journal
- Modern Logic
- Volume
- 4
- Number
- 3
- Pages
- 277–280
- Year
- 1994
Original bibliography source
The Collected Works of Alfred Tarski
- Author
- Alfred Tarski
- Year
- 1981
- Title
- The Collected Works of Alfred Tarski
- Volume
- I–IV
- Publisher
- Birkhäuser
- Address
- Basel
Original bibliography source
Logic, Semantics, Metamathematics
- Author
- John Corcoran
- Title
- Logic, Semantics, Metamathematics
- Publisher
- Hackett
- Year
- 1983
- Address
- Indianapolis
- Edition
- 2nd
Original bibliography source
LEGO Turing Machine
- Author
- Theelen, Andre
- Title
- LEGO Turing Machine
- Year
- 2012
- Url
- https://www.youtube.com/watch?v=FTSAiF9AHN4 (external resource; internet required)
Original bibliography source
On computable numbers, with an application to the “Entscheidungsproblem”
- Author
- Alan M. Turing
- Title
- On computable numbers, with an application to the “Entscheidungsproblem”
- Journal
- Proceedings of the London Mathematical Society, 2nd Series
- Year
- 1937
- Volume
- 42
- Pages
- 230–265
Original bibliography source
Reflections on Kurt Gödel
- Title
- Reflections on Kurt Gödel
- Author
- Wang, Hao
- Year
- 1990
- Publisher
- MIT Press
- Address
- Cambridge
Original bibliography source
Beweis, daß jede Menge wohlgeordnet werden kann
- Author
- Ernst Zermelo
- Title
- Beweis, daß jede Menge wohlgeordnet werden kann
- Journal
- Mathematische Annalen
- Year
- 1904
- Volume
- 59
- Pages
- 514–516
- Note
- English translation in Heinz-Dieter Ebbinghaus and Craig G. Fraser and Akihiro Kanamori (2010), pp. 115–119
Original bibliography source
Untersuchungen über die Grundlagen der Mengenlehre I
- Title
- Untersuchungen über die Grundlagen der Mengenlehre I
- Author
- Zermelo, Ernst
- Journal
- Mathematische Annalen
- Volume
- 65
- Number
- 2
- Pages
- 261–281
- Year
- 1908
- Note
- English translation in Heinz-Dieter Ebbinghaus and Craig G. Fraser and Akihiro Kanamori (2010), pp. 189-229
Original bibliography source
Set Theory and its Philosophy
- Author
- Potter, Michael
- Title
- Set Theory and its Philosophy
- Year
- 2004
- Address
- Oxford
- Publisher
- Oxford University Press
Original bibliography source
David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917–1933
- Title
- David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917–1933
- Year
- 2013
- Author
- Hilbert, David
- Editor
- Ewald, William Bragg and Sieg, Wilfried
- Address
- Heidelberg
- Publisher
- Springer
Original bibliography source
The Analyst; or, a Discourse Adressed to an Infidel Mathematician
- Year
- 1734
- Author
- Berkeley, George
- Title
- The Analyst; or, a Discourse Adressed to an Infidel Mathematician
- Place
- London
Original bibliography source
Was Cantor Surprised?
- Author
- Gouvêa, Fernando Q.
- Title
- Was Cantor Surprised?
- Journal
- American Mathematical Monthly
- Year
- 2011
- Volume
- 118
- Number
- 3
- Pages
- 198-209
Original bibliography source
Sur une courbe, qui remplit toute une aire plane
- Author
- Peano, Giuseppe
- Title
- Sur une courbe, qui remplit toute une aire plane
- Journal
- Mathematische Annalen
- Year
- 1890
- Volume
- 36
- Number
- 1
- Pages
- 157–60
Original bibliography source
Iteration Again
- Author
- Boolos, George
- Title
- Iteration Again
- Journal
- Philosophical Topics
- Year
- 1989
- Volume
- 17
- Number
- 2
- Pages
- 5–21
Original bibliography source
Ein Beitrag zur Mannigfaltigkeitslehre
- Author
- Cantor, Georg
- Title
- Ein Beitrag zur Mannigfaltigkeitslehre
- Journal
- Journal für die reine und angewandte Mathematik
- Year
- 1878
- Volume
- 84
- Pages
- 242–58
Original bibliography source
Die Grundlagen der Arithmetik: Eine logisch mathematische Untersuchung über den Begriff der Zahl
- Title
- Die Grundlagen der Arithmetik: Eine logisch mathematische Untersuchung über den Begriff der Zahl
- Publisher
- Wilhelm Koebner
- Year
- 1884
- Author
- Frege, Gottlob
- Address
- Breslau
- Note
- Translation in Gottlob Frege (1953)
Original bibliography source
Foundations of Arithmetic
- Address
- Oxford
- Edition
- 2nd
- Title
- Foundations of Arithmetic
- Publisher
- Basil Blackwell & Mott
- Author
- Frege, Gottlob
- Editor
- J. L. Austin
- Year
- 1953
Original bibliography source
Sur la décomposition des ensembles de points en parties respectivement congruentes
- Author
- Banach, Stefan and Tarski, Alfred
- Title
- Sur la décomposition des ensembles de points en parties respectivement congruentes
- Journal
- Fundamenta Mathematicae
- Volume
- 6
- Pages
- 244–77
- Year
- 1924
Original bibliography source
Hilbert-Type Space-Filling Curves
- Author
- Rose, Nicholas J
- Title
- Hilbert-Type Space-Filling Curves
- Year
- 2010
- Url
- https://web.archive.org/web/20151010184939/http://www4.ncsu.edu/~njrose/pdfFiles/HilbertCurve.pdf (external resource; internet required)
Original bibliography source
Stevin Numbers and Reality
- Year
- 2012
- Author
- Katz, Karin Usadi and Katz, Mikhail G.
- Title
- Stevin Numbers and Reality
- Journal
- Foundations of Science
- Volume
- 17
- Number
- 2
- Pages
- 109–23
Original bibliography source
The Power of Mathematics
- Author
- Conway, John
- Title
- The Power of Mathematics
- Editor
- Blackwell, Alan and MacKay, David
- Booktitle
- Power
- Series
- Darwin College Lectures
- Publisher
- Cambridge University Press
- Address
- Cambridge
- Year
- 2006
- Url
- http://www.cs.toronto.edu/~mackay/conway.pdf (external resource; internet required)
Original bibliography source
Visual Thinking in Mathematics
- Author
- Giaquinto, Marcus
- Title
- Visual Thinking in Mathematics
- Year
- 2007
- Publisher
- Oxford University Press
- Address
- Oxford
Original bibliography source
The Banach-Tarski Paradox
- Author
- Weston, Tom
- Title
- The Banach-Tarski Paradox
- Year
- 2003
- Url
- http://people.math.umass.edu/~weston/oldpapers/banach.pdf (external resource; internet required)
Original bibliography source
Was sind und was sollen die Zahlen?
- Title
- Was sind und was sollen die Zahlen?
- Publisher
- Vieweg
- Year
- 1888
- Author
- Dedekind, Richard
- Address
- Braunschweig
- Translator
- Ewald, William Bragg
Original bibliography source
Ähnliche (deutliche) Abbildung und ähnliche Systeme (11 July 1887)
- Author
- Dedekind, Richard
- Title
- Ähnliche (deutliche) Abbildung und ähnliche Systeme (11 July 1887)
- Booktitle
- Gesammelte mathematische Werke
- Publisher
- Friedrich Vieweg & Sohn
- Year
- 1932
- Pages
- 447–449
- Address
- Braunschweig
Original bibliography source
From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931
- Author
- Heijenoort, Jean van
- Title
- From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931
- Publisher
- Harvard University Press
- Address
- Cambridge, MA
- Year
- 1967
Original bibliography source
Set Theory: An Introduction to Independence Proofs
- Author
- Kunen, Kenneth
- Title
- Set Theory: An Introduction to Independence Proofs
- Publisher
- North Holland
- Address
- New York
- Year
- 1980
Original bibliography source
The Iterative Conception of Set
- Author
- Boolos, George
- Title
- The Iterative Conception of Set
- Year
- 1971
- Journal
- The Journal of Philosophy
- Volume
- 68
- Number
- 8
- Pages
- 215–31
Original bibliography source
Set Theory and the Continuum Hypothesis
- Title
- Set Theory and the Continuum Hypothesis
- Publisher
- Benjamin
- Year
- 1966
- Author
- Cohen, Paul J.
- Address
- Reading, MA
Original bibliography source
Introduction to Mathematical Philosophy
- Author
- Russell, Bertrand
- Title
- Introduction to Mathematical Philosophy
- Year
- 1919
- Address
- London
- Publisher
- Allen & Unwin
Original bibliography source
Über die stetige Abbildung einer Linie auf ein Flächenstück
- Author
- Hilbert, David
- Title
- Über die stetige Abbildung einer Linie auf ein Flächenstück
- Journal
- Mathematische Annalen
- Year
- 1891
- Volume
- 38
- Number
- 3
- Pages
- 459–460
Original bibliography source
Untersuchungen über die Grundlagen der Mengenlehre I
- Author
- Zermelo, Ernst
- Title
- Untersuchungen über die Grundlagen der Mengenlehre I
- Journal
- Mathematische Annalen
- Year
- 1908
- Volume
- 65
- Pages
- 261–81
Original bibliography source
Über das Problem der Wohlordnung
- Author
- Hartogs, Friedrich
- Title
- Über das Problem der Wohlordnung
- Journal
- Mathematische Annalen
- Year
- 1915
- Volume
- 76
- Pages
- 438–43
Original bibliography source
Sul problema della misura dei gruppi di punti di una retta
- Author
- Vitali, Giuseppe
- Title
- Sul problema della misura dei gruppi di punti di una retta
- Publisher
- Gamberini e Parmeggiani
- Year
- 1905
- Address
- Bologna
Original bibliography source
Principia Mathematica
- Title
- Principia Mathematica
- Publisher
- Cambridge University Press
- Year
- 1910
- Author
- Whitehead, Alfred North and Russell, Bertrand
- Volume
- 1
- Address
- Cambridge
Original bibliography source
The Foundations of Mathematics
- Author
- Ramsey, Frank Plumpton
- Title
- The Foundations of Mathematics
- Journal
- Proceedings of the London Mathematical Society
- Year
- 1925
- Volume
- 25
- Pages
- 338–384
Original bibliography source
Predicative and Impredicative Definitions
- Author
- Linnebo, Øystein
- Title
- Predicative and Impredicative Definitions
- Journal
- Internet Encyclopedia of Philosophy
- Year
- 2010
- Lastchecked
- 15 Oct 2014
- Url
- http://www.iep.utm.edu/predicat/ (external resource; internet required)
Original bibliography source
Eine Axiomatisierung der Mengenlehre
- Author
- von Neumann, John
- Title
- Eine Axiomatisierung der Mengenlehre
- Journal
- Journal für die reine und angewandte Mathematik
- Year
- 1925
- Volume
- 154
- Pages
- 219–40
Original bibliography source
What numbers could not be
- Author
- Benacerraf, Paul
- Title
- What numbers could not be
- Journal
- The Philosophical Review
- Year
- 1965
- Volume
- 74
- Number
- 1
- Pages
- 47–73
Original bibliography source
Semantic closure and non-finite axiomatizability I
- Author
- Montague, Richard
- Title
- Semantic closure and non-finite axiomatizability I
- Booktitle
- Infinitistic Methods: Proceedings of the Symposium on Foundations of Mathematics (Warsaw 1959)
- Publisher
- Pergamon
- Year
- 1961
- Pages
- 45–69
- Address
- New York
Original bibliography source
Una questione sui numeri transfiniti
- Author
- Burali-Forti, Cesare
- Title
- Una questione sui numeri transfiniti
- Journal
- Rendiconti del Circolo Matematico di Palermo
- Year
- 1897
- Volume
- 11
- Pages
- 154–64
Original bibliography source
Grundlagen einer allgemeinen Mannigfaltigkeitslehre. Ein mathematisch-philosophischer Versuch in der Lehre des Unendlichen
- Title
- Grundlagen einer allgemeinen Mannigfaltigkeitslehre. Ein mathematisch-philosophischer Versuch in der Lehre des Unendlichen
- Publisher
- Teubner
- Year
- 1883
- Author
- Cantor, Georg
- Address
- Leipzig
Original bibliography source
Conceptions of Set and the Foundations of Mathematics
- Author
- Incurvati, Luca
- Title
- Conceptions of Set and the Foundations of Mathematics
- Year
- 2020
- Address
- Cambridge
- Publisher
- Cambridge University Press
Original bibliography source
Set Theory: Its Justification, Logic, and Extent
- Author
- Incurvati, Luca
- Title
- Set Theory: Its Justification, Logic, and Extent
- Year
- 2010
- School
- Cambridge University
Original bibliography source
The real numbers: Stevin to Hilbert
- Author
- O'Connor, John J. and Robertson, Edmund F.
- Title
- The real numbers: Stevin to Hilbert
- Year
- 2005
- Url
- http://www-history.mcs.st-and.ac.uk/HistTopics/Real_numbers_2.html (external resource; internet required)
Original bibliography source
Axioms of Set Theory
- Author
- Shoenfield, Joseph R.
- Title
- Axioms of Set Theory
- Booktitle
- Handbook of Mathematical Logic
- Publisher
- North-Holland
- Year
- 1977
- Editor
- Jon Barwise
- Pages
- 321–44
- Address
- London
Original bibliography source
Über eine elementare Frage der Mannigfaltigkeitslehre
- Author
- Cantor, Georg
- Title
- Über eine elementare Frage der Mannigfaltigkeitslehre
- Journal
- Jahresbericht der deutschen Mathematiker-Vereinigung
- Year
- 1892
- Volume
- 1
- Pages
- 75–8
- Address
- Leipzig
- Publisher
- Teubner
Original bibliography source
A Treatise of Human Nature
- Title
- A Treatise of Human Nature
- Year
- 1740
- Author
- Hume, David
- Address
- London
Original bibliography source
Axiomatizing Set Theory
- Author
- Scott, Dana
- Title
- Axiomatizing Set Theory
- Booktitle
- Axiomatic Set Theory II
- Publisher
- American Mathematical Society
- Year
- 1974
- Editor
- Thomas Jech
- Pages
- 207–14
- Note
- Proceedings of the Symposium in Pure Mathematics of the American Mathematical Society, July–August 1967
Original bibliography source
Must we Believe in Set Theory?
- Author
- Boolos, George
- Title
- Must we Believe in Set Theory?
- Booktitle
- Between Logic and Intuition: Essays in Honor of Charles Parsons
- Publisher
- Cambridge University Press
- Year
- 2000
- Editor
- Gila Sher and Richard Tieszen
- Pages
- 257–68
- Address
- Cambridge
Original bibliography source
Independence results in set theory by Cohen's method II
- Author
- Solomon Feferman and Azriel Levy
- Title
- Independence results in set theory by Cohen's method II
- Journal
- Notices of the American Mathematical Society
- Year
- 1963
- Volume
- 10
- Pages
- 593
Original bibliography source
The independence of the continuum hypothesis
- Author
- Cohen, Paul J.
- Title
- The independence of the continuum hypothesis
- Journal
- Proceedings of the National Academy of Sciences of the United States of America
- Year
- 1963
- Volume
- 24
- Pages
- 556–557
Original bibliography source
The consistency of the axiom of choice and the generalized continuum hypothesis
- Author
- Gödel, Kurt
- Title
- The consistency of the axiom of choice and the generalized continuum hypothesis
- Journal
- Proceedings of the National Academy of Sciences of the United States of America
- Year
- 1938
- Volume
- 50
- Pages
- 1143–8
Original bibliography source
Über den Begriff `definit' und die Unabhängigkeit des Auswahlaxioms
- Author
- Fraenkel, Abraham
- Title
- Über den Begriff `definit' und die Unabhängigkeit des Auswahlaxioms
- Journal
- Sitzungsberichte der Preussischen Akadademie der Wissenschaften, Physikalisch-mathematische Klasse
- Year
- 1922
- Pages
- 253–257
Original bibliography source
Einige Bemerkungen zur axiomatischen Begründung der Mengenlehre
- Author
- Skolem, Thoralf
- Title
- Einige Bemerkungen zur axiomatischen Begründung der Mengenlehre
- Booktitle
- Wissenschaftliche Vorträge gehalten auf dem fünften Kongress der skandanivschen Mathematiker in Helsingfors vom 4. bis zum 7. Juli 1922
- Place
- Helsinki
- Publisher
- Akademiska Bokhandeln
- Year
- 1922
- Pages
- 137–52
Original bibliography source
The Banach-Tarski Paradox
- Title
- The Banach-Tarski Paradox
- Publisher
- Cambridge University Press
- Year
- 2016
- Author
- Grzegorz Tomkowicz and Stan Wagon
- Address
- Cambridge
Original bibliography source
Bemerkung über den Inhalt von Punktmengen
- Author
- Hausdorff, Felix
- Title
- Bemerkung über den Inhalt von Punktmengen
- Journal
- Mathematische Annalen
- Year
- 1914
- Volume
- 75
- Pages
- 428–34
Original bibliography source
On the decomposition of spheres
- Author
- Robinson, Raphael
- Title
- On the decomposition of spheres
- Journal
- Fundamenta Mathematicae
- Year
- 1947
- Volume
- 34
- Number
- 1
- Pages
- 246–60
Original bibliography source
Axiom Schemata of Strong Infinity in Axiomatic Set Theory
- Author
- Lévy, Azriel
- Title
- Axiom Schemata of Strong Infinity in Axiomatic Set Theory
- Journal
- Pacific Journal of Mathematics
- Year
- 1960
- Volume
- 10
- Number
- 1
- Pages
- 223–38
Original bibliography source
How to Read and Do Proofs
- Author
- Daniel Solow
- Year
- 2013
- Title
- How to Read and Do Proofs
- Publisher
- Wiley
- Address
- Hoboken, NJ
Original bibliography source
How to Prove It: A Structured Approach
- Author
- Daniel J. Velleman
- Title
- How to Prove It: A Structured Approach
- Year
- 2019
- Edition
- 3rd
- Publisher
- Cambridge University Press
- Address
- Cambridge
Original bibliography source
Book of Proof
- Author
- Richard Hammack
- Title
- Book of Proof
- Year
- 2013
- Publisher
- Virginia Commonwealth University
- Address
- Richmond, VA
- Url
- http://www.people.vcu.edu/~rhammack/BookOfProof/BookOfProof.pdf (external resource; internet required)
Original bibliography source
Mathematical Reasoning: Writing and Proof
- Author
- Ted Sandstrum
- Year
- 2019
- Title
- Mathematical Reasoning: Writing and Proof
- Publisher
- Grand Valley State University
- Address
- Allendale, MI
- Url
- https://scholarworks.gvsu.edu/books/7/ (external resource; internet required)
Original bibliography source
More Precisely: The Math You Need to Do Philosophy
- Author
- Eric Steinhart
- Year
- 2018
- Title
- More Precisely: The Math You Need to Do Philosophy
- Publisher
- Broadview
- Address
- Peterborough, ON
- Edition
- 2nd
Original bibliography source
Introduction to Mathematical Arguments
- Author
- Michael Hutchings
- Title
- Introduction to Mathematical Arguments
- Year
- 2003
- Url
- https://math.berkeley.edu/~hutching/teach/proofs.pdf (external resource; internet required)
Original bibliography source
How to Write Proofs: A Quick Quide
- Author
- Eugenia Cheng
- Title
- How to Write Proofs: A Quick Quide
- Year
- 2004
- Url
- https://eugeniacheng.com/wp-content/uploads/2017/02/cheng-proofguide.pdf (external resource; internet required)
Original bibliography source
First-Order Logic
- Author
- Smullyan, Raymond M.
- Publisher
- Springer
- Address
- New York, NY
- Title
- First-Order Logic
- Year
- 1968
- Note
- Corrected reprint, New York, NY: Dover, 1995
Original bibliography source
First-Order Logic
- Author
- Smullyan, Raymond M.
- Publisher
- Dover
- Address
- Mineola, NY
- Title
- First-Order Logic
- Year
- 1995
- Note
- Corrected reprint of Raymond M. Smullyan (1968)
Original bibliography source
Formation sequences for propositional formulas
- Author
- Zuckerman, Martin M.
- Journal
- Notre Dame Journal of Formal Logic
- Number
- 1
- Pages
- 134–138
- Title
- Formation sequences for propositional formulas
- Volume
- 14
- Year
- 1973
Original bibliography source