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: thirty. Number: two through three. Pages: one hundred thirty nine through one hundred forty five. Year: one thousand nine hundred eighty six. Url: External resource link available in the Read bibliography.
The Princeton Mathematics Community in the one thousand nine hundred thirtys: Alonzo Church
Author: Aspray, William. Title: The Princeton Mathematics Community in the one thousand nine hundred thirtys: Alonzo Church. Year: one thousand nine hundred eighty four. Note: Interview. Url: External resource link available in the Read bibliography.
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: two thousand eleven. Publisher: Cambridge University Press. Address: Cambridge
Rózsa Péter
Author: Bailey, Ellen. Journal: Rózsa Péter. Title: Rózsa Péter. Url: External resource link available in the Read bibliography.. Year: two thousand six
Level Theory, Part one: Axiomatizing the Bare Idea of a Cumulative Hierarchy of Sets
Author: Button, Tim. Journal: The Bulletin of Symbolic Logic. Year: two thousand twenty one. Title: Level Theory, Part one: Axiomatizing the Bare Idea of a Cumulative Hierarchy of Sets. Volume: twenty seven. Number: four. Pages: four hundred thirty six through four hundred sixty
A note on the Entscheidungsproblem
Author: Alonzo Church. Title: A note on the Entscheidungsproblem. Journal: The Journal of Symbolic Logic. Year: one thousand nine hundred thirty six. Volume: one. Pages: forty through forty one
An Unsolvable Problem of Elementary Number Theory
Title: An Unsolvable Problem of Elementary Number Theory. Author: Alonzo Church. Journal: American Journal of Mathematics. Volume: fifty eight. Year: one thousand nine hundred thirty six. Pages: three hundred forty five through three hundred sixty three
Zala Films: Julia Robinson and Hilbert's Tenth Problem
Author: Csicsery, George. Title: Zala Films: Julia Robinson and Hilbert's Tenth Problem. Year: two thousand sixteen. Url: External resource link available in the Read bibliography.
Georg Cantor: His Mathematics and Philosophy of the Infinite
Title: Georg Cantor: His Mathematics and Philosophy of the Infinite. Author: Dauben, Joseph. Year: one thousand nine hundred ninety. Publisher: Princeton University Press. Address: Princeton
Georg Cantor and the Battle for Transfinite Set Theory
Title: Georg Cantor and the Battle for Transfinite Set Theory. Author: Dauben, Joseph. Year: two thousand four. Journal: Journal of the ACMS. Volume: one. Pages: one through seventeen
The Decision Problem for Exponential Diophantine Equations
Url: External resource link available in the Read bibliography.. Author: Martin Davis and Hilary Putnam and Julia Robinson. Journal: Annals of Mathematics. Number: three. Pages: four hundred twenty five through four hundred thirty six. Title: The Decision Problem for Exponential Diophantine Equations. Volume: seventy four. Year: one thousand nine hundred sixty one
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: one thousand nine hundred ninety seven. Publisher: CRC Press. Address: Boca Raton
Emmy Noether one thousand eight hundred eighty two through one thousand nine hundred thirty five
Title: Emmy Noether one thousand eight hundred eighty two through one thousand nine hundred thirty five. Author: Dick, Auguste. Year: one thousand nine hundred eighty one. Publisher: Birkhäuser. Address: Boston
The Bertrand Russell Research Centre
Author: Duncan, Arlene. Title: The Bertrand Russell Research Centre. Year: two thousand fifteen. Url: External resource link available in the Read bibliography.
Ernst Zermelo. Collected Works
Title: Ernst Zermelo. Collected Works. Volume: one. Author: Ebbinghaus, Heinz-Dieter and Fraser, Craig G. and Kanamori, Akihiro. Year: two thousand ten. Publisher: Springer-Verlag. Address: Berlin
Ernst Zermelo: Collected Works
Title: Ernst Zermelo: Collected Works. Volume: two. Author: Ebbinghaus, Heinz-Dieter and Kanamori, Akihiro. Year: two thousand thirteen. Publisher: Springer-Verlag. Address: Berlin
Ernst Zermelo: An Approach to his Life and Work
Title: Ernst Zermelo: An Approach to his Life and Work. Author: Ebbinghaus, Heinz-Dieter. Year: two thousand fifteen. Publisher: Springer-Verlag. Address: Berlin
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: two thousand nineteen. Address: Cambridge, MA
Julia Bowman Robinson one thousand nine hundred nineteen through one thousand nine hundred eighty five
Author: Feferman, Solomon. Year: one thousand nine hundred ninety four. Title: Julia Bowman Robinson one thousand nine hundred nineteen through one thousand nine hundred eighty five. Journal: Biographical Memoirs of the National Academy of Sciences. Volume: sixty three. Pages: one through twenty eight. Publisher: National Academies Press. Url: External resource link available in the Read bibliography.
Alfred Tarski: Life and Logic
Title: Alfred Tarski: Life and Logic. Author: Feferman, Anita and Feferman, Solomon. Year: two thousand four. Publisher: Cambridge University Press. Address: Cambridge
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: two thousand fifteen. Note: Podcast audio. Url: External resource link available in the Read bibliography.
Untersuchungen über das logische Schließen I
Author: Gerhard Gentzen. Year: one thousand nine hundred thirty five. Title: Untersuchungen über das logische Schließen I. Journal: Mathematische Zeitschrift. Volume: thirty nine. Issue: one. Pages: one hundred seventy six through two hundred ten. Note: English translation in Manfred E. Szabo (one thousand nine hundred sixty nine), pages sixty eight through one hundred thirty one. Doi: one zero dot one zero zero seven slash B F zero one two zero one three five three
Untersuchungen über das logische Schließen II
Author: Gerhard Gentzen. Year: one thousand nine hundred thirty five. Title: Untersuchungen über das logische Schließen II. Journal: Mathematische Zeitschrift. Volume: thirty nine. Issue: one. Pages: one hundred seventy six through two hundred ten, four hundred five through four hundred thirty one. Note: English translation in Manfred E. Szabo (one thousand nine hundred sixty nine), pages sixty eight through one hundred thirty one. Doi: one zero dot one zero zero seven slash B F zero one two zero one three six three
The Collected Papers of Gerhard Gentzen
Author: Szabo, Manfred E.. Year: one thousand nine hundred sixty nine. Title: The Collected Papers of Gerhard Gentzen. Booktitle: The Collected Papers of Gerhard Gentzen. Publisher: North-Holland. Address: Amsterdam
Über die Vollständigkeit des Logikkalküls [On the Completeness of the Calculus of Logic]
Author: Kurt Gödel. Year: one thousand nine hundred twenty nine. 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 (one thousand nine hundred eighty six), pages sixty through one hundred one. School: Universität Wien. Type: Dissertation
Ü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: one thousand nine hundred thirty one. Volume: thirty eight. Pages: one hundred seventy three through one hundred ninety eight. 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 (one thousand nine hundred eighty six), pages one hundred forty four through one hundred ninety five. Doi: one zero dot one zero zero seven slash B F zero one seven zero zero six nine two
Kurt Gödel: Collected Works. Vol. one: Publications one thousand nine hundred twenty nine through one thousand nine hundred thirty six
Title: Kurt Gödel: Collected Works. Vol. one: Publications one thousand nine hundred twenty nine through one thousand nine hundred thirty six. 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: one thousand nine hundred eighty six. Publisher: Oxford University Press. Address: Oxford
Kurt Gödel: Collected Works. Vol. two: Publications one thousand nine hundred thirty eight through one thousand nine hundred seventy four
Title: Kurt Gödel: Collected Works. Vol. two: Publications one thousand nine hundred thirty eight through one thousand nine hundred seventy four. 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: one thousand nine hundred ninety. Publisher: Oxford University Press. Address: Oxford
Towards a Biography of Georg Cantor
Title: Towards a Biography of Georg Cantor. Author: Grattan-Guinness, Ivor. Journal: Annals of Science. Volume: twenty seven. Number: four. Pages: three hundred forty five through three hundred ninety one. Year: one thousand nine hundred seventy one
Reading Frege's Grundgesetze
Author: Richard Kimberly Heck. Title: Reading Frege's Grundgesetze. Publisher: Oxford University Press. Year: two thousand twelve. Address: Oxford
Alan Turing: The Enigma
Title: Alan Turing: The Enigma. Author: Hodges, Andrew. Year: two thousand fourteen. Publisher: Vintage. Address: London
The Imitation Game
Author: Morten Tyldum. Title: The Imitation Game. Year: two thousand fourteen. Note: Motion picture
Sound Clips of Bertrand Russell Speaking
Author: Irvine, Andrew David. Title: Sound Clips of Bertrand Russell Speaking. Year: two thousand fifteen. Url: External resource link available in the Read bibliography.
Partition and revision: The semantics of counterfactuals
Author: Kratzer, Angelika. Title: Partition and revision: The semantics of counterfactuals. Journal: Journal of Philosophical Logic. Year: one thousand nine hundred eighty one. Volume: ten. Number: two. Pages: two hundred one through two hundred sixteen. Doi: one zero dot one zero zero seven slash B F zero zero two four eight eight four nine
Bertrand Russell
Author: LibriVox. Title: Bertrand Russell. Year: n.d.. Note: Collection of public domain audiobooks. Url: External resource link available in the Read bibliography.
The Partially Examined Life: Gödel on Math
Author: Linsenmayer, Mark. Title: The Partially Examined Life: Gödel on Math. Year: two thousand fourteen. Note: Podcast audio. Url: External resource link available in the Read bibliography.
Alonzo Church's JSL Reviews
Author: MacFarlane, John. Title: Alonzo Church's JSL Reviews. Year: two thousand fifteen. Url: External resource link available in the Read bibliography.
Believing the Axioms I
Author: Penelope Maddy. Title: Believing the Axioms I. Journal: The Journal of Symbolic Logic. Year: one thousand nine hundred eighty eight. Volume: fifty three. Number: two. Pages: four hundred eighty one through five hundred eleven
Believing the Axioms II
Author: Penelope Maddy. Title: Believing the Axioms II. Journal: The Journal of Symbolic Logic. Year: one thousand nine hundred eighty eight. Volume: fifty three. Number: three. Pages: seven hundred thirty six through seven hundred sixty four
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: two thousand twenty one. Edition: Ftwenty one. Publisher: Open Logic Project. Address: Calgary. Url: External resource link available in the Read bibliography.. Copyright: All rights reserved. Keywords: textbook
My Collaboration with Julia Robinson
Title: My Collaboration with Julia Robinson. Author: Matijasevich, Yuri. Journal: The Mathematical Intelligencer. Volume: fourteen. Number: four. Pages: thirty eight through forty five. Year: one thousand nine hundred ninety two
Logic's Lost Genius: The Life of Gerhard Gentzen
Title: Logic's Lost Genius: The Life of Gerhard Gentzen. Author: Menzler-Trott, Eckart. Year: two thousand seven. Publisher: American Mathematical Society. Address: Providence
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: one thousand nine hundred sixty five. Editor: John Crossley and Michael Dummett. Pages: one hundred thirty one through one hundred forty eight. Address: Amsterdam. Note: Proceedings of the Eight Logic Colloquium, July one thousand nine hundred sixty three
Emmy Noether: Gesammelte Abhandlungen—Collected Papers
Title: Emmy Noether: Gesammelte Abhandlungen—Collected Papers. Author: Jacobson, Nathan. Year: one thousand nine hundred eighty three. Publisher: Springer-Verlag. Address: Berlin
Rózsa Péter
Author: O'Connor, John J. and Robertson, Edmund F.. Title: Rózsa Péter. Year: two thousand fourteen. Url: External resource link available in the Read bibliography.
Emmy Noether: Her Life, Work, and Influence
Author: Perimeter Institute. Title: Emmy Noether: Her Life, Work, and Influence. Year: two thousand fifteen. Note: Video Lecture. Url: External resource link available in the Read bibliography.
Ü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: one hundred ten. Year: one thousand nine hundred thirty fivea. Pages: six hundred twelve through six hundred thirty two. Doi: one zero dot one zero zero seven slash B F zero one four four eight zero four six
Konstruktion nichtrekursiver Funktionen
Author: Péter, Rózsa. Title: Konstruktion nichtrekursiver Funktionen. Journal: Mathematische Annalen. Volume: one hundred eleven. Year: one thousand nine hundred thirty fiveb. Pages: forty two through sixty. Doi: one zero dot one zero zero seven slash B F zero one four seven two two zero zero
Rekursive Funktionen
Author: Péter, Rózsa. Title: Rekursive Funktionen. Publisher: Akademiai Kiado. Address: Budapest. Year: one thousand nine hundred fifty one. Note: English translation in (Rózsa Péter, one thousand nine hundred sixty seven)
Recursive Functions
Author: Péter, Rózsa. Title: Recursive Functions. Publisher: Academic Press. Address: New York. Year: one thousand nine hundred sixty seven
Playing with Infinity
Title: Playing with Infinity. Author: Péter, Rózsa. Year: two thousand ten. Address: New York. Publisher: Dover. Url: External resource link available in the Read bibliography.
The Turing Problem
Author: Radiolab. Title: The Turing Problem. Year: two thousand twelve. Note: Podcast audio. Url: External resource link available in the Read bibliography.
Talking to Machines
Author: Radiolab. Title: Talking to Machines. Year: N.D.. Note: Podcast audio. Url: External resource link available in the Read bibliography.
The Autobiography of Julia Robinson
Title: The Autobiography of Julia Robinson. Author: Reid, Constance. Journal: The College Mathematics Journal. Volume: seventeen. Issue: one. Pages: three through twenty one. Year: one thousand nine hundred eighty six
Julia: A Life in Mathematics
Author: Constance Reid. Title: Julia: A Life in Mathematics. Publisher: Cambridge University Press. Year: one thousand nine hundred ninety six. Address: Cambridge. Url: External resource link available in the Read bibliography.
Definability and Decision Problems in Arithmetic
Url: External resource link available in the Read bibliography.. Author: Julia Robinson. Journal: The Journal of Symbolic Logic. Number: two. Pages: ninety eight through one hundred fourteen. Title: Definability and Decision Problems in Arithmetic. Volume: fourteen. Year: one thousand nine hundred forty nine
The Collected Works of Julia Robinson
Author: Robinson, Julia. Year: one thousand nine hundred ninety six. Title: The Collected Works of Julia Robinson. Publisher: American Mathematical Society. Address: Providence
A Song about Georg Cantor
Author: Rose, Daniel. Title: A Song about Georg Cantor. Year: two thousand twelve. Note: Audio Recording. Url: External resource link available in the Read bibliography.
On Denoting
Author: Bertrand Russell. Title: On Denoting. Journal: Mind. Year: one thousand nine hundred five. Volume: fourteen. Pages: four hundred seventy nine through four hundred ninety three
The Autobiography of Bertrand Russell
Author: Bertrand Russell. Year: one thousand nine hundred sixty seven. Title: The Autobiography of Bertrand Russell. Volume: one. Publisher: Allen and Unwin. Address: London
The Autobiography of Bertrand Russell
Author: Bertrand Russell. Year: one thousand nine hundred sixty eight. Title: The Autobiography of Bertrand Russell. Volume: two. Publisher: Allen and Unwin. Address: London
The Autobiography of Bertrand Russell
Author: Bertrand Russell. Year: one thousand nine hundred sixty nine. Title: The Autobiography of Bertrand Russell. Volume: three. Publisher: Allen and Unwin. Address: London
Collected Papers
Author: Bertrand Russell. Year: one thousand nine hundred eighty three. Title: Collected Papers. Publisher: Routledge. Address: London
Bertrand Russell on Smoking
Author: Bertrand Russell. Title: Bertrand Russell on Smoking. Year: n.d.. Note: Video Interview. Url: External resource link available in the Read bibliography.
A Brief History of Mathematics: Georg Cantor
Author: Marcus du Sautoy. Title: A Brief History of Mathematics: Georg Cantor. Year: two thousand fourteen. Note: Audio Recording. Url: External resource link available in the Read bibliography.
Mathematicians under the Nazis
Title: Mathematicians under the Nazis. Author: Segal, Sanford L.. Year: two thousand fourteen. Publisher: Princeton University Press. Address: Princeton
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: twenty nine. Number: three. Pages: seventy three through seventy six. Year: two thousand seven. Publisher: Springer
An Introduction to Gödel's Theorems
Title: An Introduction to Gödel's Theorems. Author: Smith, Peter. Year: two thousand thirteen. Publisher: Cambridge University Press. Address: Cambridge
Kurt Gödel Society
Author: Beckmann, Arnold and Preining, Norbert. Title: Kurt Gödel Society. Year: two thousand four. Url: External resource link available in the Read bibliography.
A theory of conditionals
Author: Stalnaker, Robert C.. Title: A theory of conditionals. Pages: ninety eight through one hundred twelve. Boobktitle: Studies in Logical Theory. Editor: Nicholas Rescher. Publisher: Basil Blackwell. Address: Oxford. Year: one thousand nine hundred sixty eight
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: one thousand nine hundred ninety two. Url: External resource link available in the Read bibliography.
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: two thousand three. Publisher: World Scientific. Address: Singapore
Interview with Róza Péter
Title: Interview with Róza Péter. Author: Tamassy, Istvan. Journal: Modern Logic. Volume: four. Number: three. Pages: two hundred seventy seven through two hundred eighty. Year: one thousand nine hundred ninety four
The Collected Works of Alfred Tarski
Author: Alfred Tarski. Year: one thousand nine hundred eighty one. Title: The Collected Works of Alfred Tarski. Volume: I–IV. Publisher: Birkhäuser. Address: Basel
Logic, Semantics, Metamathematics
Author: John Corcoran. Title: Logic, Semantics, Metamathematics. Publisher: Hackett. Year: one thousand nine hundred eighty three. Address: Indianapolis. Edition: second
LEGO Turing Machine
Author: Theelen, Andre. Title: LEGO Turing Machine. Year: two thousand twelve. Url: External resource link available in the Read bibliography.
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, second Series. Year: one thousand nine hundred thirty seven. Volume: forty two. Pages: two hundred thirty through two hundred sixty five
Reflections on Kurt Gödel
Title: Reflections on Kurt Gödel. Author: Wang, Hao. Year: one thousand nine hundred ninety. Publisher: MIT Press. Address: Cambridge
Beweis, daß jede Menge wohlgeordnet werden kann
Author: Ernst Zermelo. Title: Beweis, daß jede Menge wohlgeordnet werden kann. Journal: Mathematische Annalen. Year: one thousand nine hundred four. Volume: fifty nine. Pages: five hundred fourteen through five hundred sixteen. Note: English translation in Heinz-Dieter Ebbinghaus and Craig G. Fraser and Akihiro Kanamori (two thousand ten), pages one hundred fifteen through one hundred nineteen
Untersuchungen über die Grundlagen der Mengenlehre I
Title: Untersuchungen über die Grundlagen der Mengenlehre I. Author: Zermelo, Ernst. Journal: Mathematische Annalen. Volume: sixty five. Number: two. Pages: two hundred sixty one through two hundred eighty one. Year: one thousand nine hundred eight. Note: English translation in Heinz-Dieter Ebbinghaus and Craig G. Fraser and Akihiro Kanamori (two thousand ten), pages one hundred eighty nine through two hundred twenty nine
Set Theory and its Philosophy
Author: Potter, Michael. Title: Set Theory and its Philosophy. Year: two thousand four. Address: Oxford. Publisher: Oxford University Press
David Hilbert's Lectures on the Foundations of Arithmetic and Logic one thousand nine hundred seventeen through one thousand nine hundred thirty three
Title: David Hilbert's Lectures on the Foundations of Arithmetic and Logic one thousand nine hundred seventeen through one thousand nine hundred thirty three. Year: two thousand thirteen. Author: Hilbert, David. Editor: Ewald, William Bragg and Sieg, Wilfried. Address: Heidelberg. Publisher: Springer
The Analyst; or, a Discourse Adressed to an Infidel Mathematician
Year: one thousand seven hundred thirty four. Author: Berkeley, George. Title: The Analyst; or, a Discourse Adressed to an Infidel Mathematician. Place: London
Was Cantor Surprised?
Author: Gouvêa, Fernando Q.. Title: Was Cantor Surprised?. Journal: American Mathematical Monthly. Year: two thousand eleven. Volume: one hundred eighteen. Number: three. Pages: one hundred ninety eight through two hundred nine
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: one thousand eight hundred ninety. Volume: thirty six. Number: one. Pages: one hundred fifty seven through one hundred sixty
Iteration Again
Author: Boolos, George. Title: Iteration Again. Journal: Philosophical Topics. Year: one thousand nine hundred eighty nine. Volume: seventeen. Number: two. Pages: five through twenty one
Ein Beitrag zur Mannigfaltigkeitslehre
Author: Cantor, Georg. Title: Ein Beitrag zur Mannigfaltigkeitslehre. Journal: Journal für die reine und angewandte Mathematik. Year: one thousand eight hundred seventy eight. Volume: eighty four. Pages: two hundred forty two through two hundred fifty eight
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: one thousand eight hundred eighty four. Author: Frege, Gottlob. Address: Breslau. Note: Translation in Gottlob Frege (one thousand nine hundred fifty three)
Foundations of Arithmetic
Address: Oxford. Edition: second. Title: Foundations of Arithmetic. Publisher: Basil Blackwell & Mott. Author: Frege, Gottlob. Editor: J. L. Austin. Year: one thousand nine hundred fifty three
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: six. Pages: two hundred forty four through two hundred seventy seven. Year: one thousand nine hundred twenty four
Hilbert-Type Space-Filling Curves
Author: Rose, Nicholas J. Title: Hilbert-Type Space-Filling Curves. Year: two thousand ten. Url: External resource link available in the Read bibliography.
Stevin Numbers and Reality
Year: two thousand twelve. Author: Katz, Karin Usadi and Katz, Mikhail G.. Title: Stevin Numbers and Reality. Journal: Foundations of Science. Volume: seventeen. Number: two. Pages: one hundred nine through one hundred twenty three
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: two thousand six. Url: External resource link available in the Read bibliography.
Visual Thinking in Mathematics
Author: Giaquinto, Marcus. Title: Visual Thinking in Mathematics. Year: two thousand seven. Publisher: Oxford University Press. Address: Oxford
The Banach-Tarski Paradox
Author: Weston, Tom. Title: The Banach-Tarski Paradox. Year: two thousand three. Url: External resource link available in the Read bibliography.
Was sind und was sollen die Zahlen?
Title: Was sind und was sollen die Zahlen?. Publisher: Vieweg. Year: one thousand eight hundred eighty eight. Author: Dedekind, Richard. Address: Braunschweig. Translator: Ewald, William Bragg
Ähnliche (deutliche) Abbildung und ähnliche Systeme (eleven July one thousand eight hundred eighty seven)
Author: Dedekind, Richard. Title: Ähnliche (deutliche) Abbildung und ähnliche Systeme (eleven July one thousand eight hundred eighty seven). Booktitle: Gesammelte mathematische Werke. Publisher: Friedrich Vieweg & Sohn. Year: one thousand nine hundred thirty two. Pages: four hundred forty seven through four hundred forty nine. Address: Braunschweig
From Frege to Gödel: A Source Book in Mathematical Logic, one thousand eight hundred seventy nine through one thousand nine hundred thirty one
Author: Heijenoort, Jean van. Title: From Frege to Gödel: A Source Book in Mathematical Logic, one thousand eight hundred seventy nine through one thousand nine hundred thirty one. Publisher: Harvard University Press. Address: Cambridge, MA. Year: one thousand nine hundred sixty seven
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: one thousand nine hundred eighty
The Iterative Conception of Set
Author: Boolos, George. Title: The Iterative Conception of Set. Year: one thousand nine hundred seventy one. Journal: The Journal of Philosophy. Volume: sixty eight. Number: eight. Pages: two hundred fifteen through two hundred thirty one
Set Theory and the Continuum Hypothesis
Title: Set Theory and the Continuum Hypothesis. Publisher: Benjamin. Year: one thousand nine hundred sixty six. Author: Cohen, Paul J.. Address: Reading, MA
Introduction to Mathematical Philosophy
Author: Russell, Bertrand. Title: Introduction to Mathematical Philosophy. Year: one thousand nine hundred nineteen. Address: London. Publisher: Allen & Unwin
Ü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: one thousand eight hundred ninety one. Volume: thirty eight. Number: three. Pages: four hundred fifty nine through four hundred sixty
Untersuchungen über die Grundlagen der Mengenlehre I
Author: Zermelo, Ernst. Title: Untersuchungen über die Grundlagen der Mengenlehre I. Journal: Mathematische Annalen. Year: one thousand nine hundred eight. Volume: sixty five. Pages: two hundred sixty one through two hundred eighty one
Über das Problem der Wohlordnung
Author: Hartogs, Friedrich. Title: Über das Problem der Wohlordnung. Journal: Mathematische Annalen. Year: one thousand nine hundred fifteen. Volume: seventy six. Pages: four hundred thirty eight through four hundred forty three
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: one thousand nine hundred five. Address: Bologna
Principia Mathematica
Title: Principia Mathematica. Publisher: Cambridge University Press. Year: one thousand nine hundred ten. Author: Whitehead, Alfred North and Russell, Bertrand. Volume: one. Address: Cambridge
The Foundations of Mathematics
Author: Ramsey, Frank Plumpton. Title: The Foundations of Mathematics. Journal: Proceedings of the London Mathematical Society. Year: one thousand nine hundred twenty five. Volume: twenty five. Pages: three hundred thirty eight through three hundred eighty four
Predicative and Impredicative Definitions
Author: Linnebo, Øystein. Title: Predicative and Impredicative Definitions. Journal: Internet Encyclopedia of Philosophy. Year: two thousand ten. Lastchecked: fifteen Oct two thousand fourteen. Url: External resource link available in the Read bibliography.
Eine Axiomatisierung der Mengenlehre
Author: von Neumann, John. Title: Eine Axiomatisierung der Mengenlehre. Journal: Journal für die reine und angewandte Mathematik. Year: one thousand nine hundred twenty five. Volume: one hundred fifty four. Pages: two hundred nineteen through two hundred forty
What numbers could not be
Author: Benacerraf, Paul. Title: What numbers could not be. Journal: The Philosophical Review. Year: one thousand nine hundred sixty five. Volume: seventy four. Number: one. Pages: forty seven through seventy three
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 one thousand nine hundred fifty nine). Publisher: Pergamon. Year: one thousand nine hundred sixty one. Pages: forty five through sixty nine. Address: New York
Una questione sui numeri transfiniti
Author: Burali-Forti, Cesare. Title: Una questione sui numeri transfiniti. Journal: Rendiconti del Circolo Matematico di Palermo. Year: one thousand eight hundred ninety seven. Volume: eleven. Pages: one hundred fifty four through one hundred sixty four
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: one thousand eight hundred eighty three. Author: Cantor, Georg. Address: Leipzig
Conceptions of Set and the Foundations of Mathematics
Author: Incurvati, Luca. Title: Conceptions of Set and the Foundations of Mathematics. Year: two thousand twenty. Address: Cambridge. Publisher: Cambridge University Press
Set Theory: Its Justification, Logic, and Extent
Author: Incurvati, Luca. Title: Set Theory: Its Justification, Logic, and Extent. Year: two thousand ten. School: Cambridge University
The real numbers: Stevin to Hilbert
Author: O'Connor, John J. and Robertson, Edmund F.. Title: The real numbers: Stevin to Hilbert. Year: two thousand five. Url: External resource link available in the Read bibliography.
Axioms of Set Theory
Author: Shoenfield, Joseph R.. Title: Axioms of Set Theory. Booktitle: Handbook of Mathematical Logic. Publisher: North-Holland. Year: one thousand nine hundred seventy seven. Editor: Jon Barwise. Pages: three hundred twenty one through three hundred forty four. Address: London
Über eine elementare Frage der Mannigfaltigkeitslehre
Author: Cantor, Georg. Title: Über eine elementare Frage der Mannigfaltigkeitslehre. Journal: Jahresbericht der deutschen Mathematiker-Vereinigung. Year: one thousand eight hundred ninety two. Volume: one. Pages: seventy five through seventy eight. Address: Leipzig. Publisher: Teubner
A Treatise of Human Nature
Title: A Treatise of Human Nature. Year: one thousand seven hundred forty. Author: Hume, David. Address: London
Axiomatizing Set Theory
Author: Scott, Dana. Title: Axiomatizing Set Theory. Booktitle: Axiomatic Set Theory II. Publisher: American Mathematical Society. Year: one thousand nine hundred seventy four. Editor: Thomas Jech. Pages: two hundred seven through two hundred fourteen. Note: Proceedings of the Symposium in Pure Mathematics of the American Mathematical Society, July–August one thousand nine hundred sixty seven
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: two thousand. Editor: Gila Sher and Richard Tieszen. Pages: two hundred fifty seven through two hundred sixty eight. Address: Cambridge
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: one thousand nine hundred sixty three. Volume: ten. Pages: five hundred ninety three
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: one thousand nine hundred sixty three. Volume: twenty four. Pages: five hundred fifty six through five hundred fifty seven
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: one thousand nine hundred thirty eight. Volume: fifty. Pages: one thousand one hundred forty three through one thousand one hundred forty eight
Ü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: one thousand nine hundred twenty two. Pages: two hundred fifty three through two hundred fifty seven
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 four. bis zum seven. Juli one thousand nine hundred twenty two. Place: Helsinki. Publisher: Akademiska Bokhandeln. Year: one thousand nine hundred twenty two. Pages: one hundred thirty seven through one hundred fifty two
The Banach-Tarski Paradox
Title: The Banach-Tarski Paradox. Publisher: Cambridge University Press. Year: two thousand sixteen. Author: Grzegorz Tomkowicz and Stan Wagon. Address: Cambridge
Bemerkung über den Inhalt von Punktmengen
Author: Hausdorff, Felix. Title: Bemerkung über den Inhalt von Punktmengen. Journal: Mathematische Annalen. Year: one thousand nine hundred fourteen. Volume: seventy five. Pages: four hundred twenty eight through four hundred thirty four
On the decomposition of spheres
Author: Robinson, Raphael. Title: On the decomposition of spheres. Journal: Fundamenta Mathematicae. Year: one thousand nine hundred forty seven. Volume: thirty four. Number: one. Pages: two hundred forty six through two hundred sixty
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: one thousand nine hundred sixty. Volume: ten. Number: one. Pages: two hundred twenty three through two hundred thirty eight
How to Read and Do Proofs
Author: Daniel Solow. Year: two thousand thirteen. Title: How to Read and Do Proofs. Publisher: Wiley. Address: Hoboken, NJ
How to Prove It: A Structured Approach
Author: Daniel J. Velleman. Title: How to Prove It: A Structured Approach. Year: two thousand nineteen. Edition: third. Publisher: Cambridge University Press. Address: Cambridge
Book of Proof
Author: Richard Hammack. Title: Book of Proof. Year: two thousand thirteen. Publisher: Virginia Commonwealth University. Address: Richmond, VA. Url: External resource link available in the Read bibliography.
Mathematical Reasoning: Writing and Proof
Author: Ted Sandstrum. Year: two thousand nineteen. Title: Mathematical Reasoning: Writing and Proof. Publisher: Grand Valley State University. Address: Allendale, MI. Url: External resource link available in the Read bibliography.
More Precisely: The Math You Need to Do Philosophy
Author: Eric Steinhart. Year: two thousand eighteen. Title: More Precisely: The Math You Need to Do Philosophy. Publisher: Broadview. Address: Peterborough, ON. Edition: second
Introduction to Mathematical Arguments
Author: Michael Hutchings. Title: Introduction to Mathematical Arguments. Year: two thousand three. Url: External resource link available in the Read bibliography.
How to Write Proofs: A Quick Quide
Author: Eugenia Cheng. Title: How to Write Proofs: A Quick Quide. Year: two thousand four. Url: External resource link available in the Read bibliography.
First-Order Logic
Author: Smullyan, Raymond M.. Publisher: Springer. Address: New York, NY. Title: First-Order Logic. Year: one thousand nine hundred sixty eight. Note: Corrected reprint, New York, NY: Dover, one thousand nine hundred ninety five
First-Order Logic
Author: Smullyan, Raymond M.. Publisher: Dover. Address: Mineola, NY. Title: First-Order Logic. Year: one thousand nine hundred ninety five. Note: Corrected reprint of Raymond M. Smullyan (one thousand nine hundred sixty eight)
Formation sequences for propositional formulas
Author: Zuckerman, Martin M.. Journal: Notre Dame Journal of Formal Logic. Number: one. Pages: one hundred thirty four through one hundred thirty eight. Title: Formation sequences for propositional formulas. Volume: fourteen. Year: one thousand nine hundred seventy three