Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Principles of Mathematical Logic
open-in-new
<h2 id="notes">Notes</h2> <ul><li><a href="/facts/David_Hilbert/1vhlHn4b">David Hilbert</a> and <a href="/facts/Wilhelm_Ackermann/8bPlUHSE">Wilhelm Ackermann</a> (1928). <i>Grundzüge der theoretischen Logik</i> (<i>Principles of Mathematical Logic</i>). Springer-Verlag, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 0-8218-2024-9. This text went into four subsequent German editions, the last in 1972.</li> <li>Translators: Lewis M. Hammond, George G. Leckie & F. Steinhardt (1999) <i><a href="https://books.google.com/books?id=45ZGMjV9vfcC">Principles of Mathematical Logic</a></i> at <a href="/facts/Google_Books/lnGRMWXs">Google Books</a></li> <li>Hendricks, Neuhaus, Petersen, Scheffler and Wansing (eds.) (2004). <i>First-order logic revisited</i>. Logos Verlag, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 3-8325-0475-3. Proceedings of a workshop, FOL-75, commemorating the 75th anniversary of the publication of Hilbert and Ackermann (1928).</li></ul> <h2 id="references">References</h2> <ol> <li id="fn:1"><p>Curry, Haskell B. (1953). "Review: Grundzüge der theoretischen Logik (3rd edition)" (PDF). Bull. Amer. Math. Soc. 59 (3): 263–267. doi:10.1090/s0002-9904-1953-09701-4. The translation of the 1938 2nd German edition into English was published in 1950, while the 3rd German edition was published in 1949. <a href="/wiki/Haskell_Curry" target="_blank">/wiki/Haskell_Curry</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li> <li id="fn:2"><p>Rosser, Barkley (1938). "Review: Grundzüge der theoretischen Logik (2nd edition)" (PDF). Bull. Amer. Math. Soc. 44 (7): 474–475. doi:10.1090/s0002-9904-1938-06760-2. <a href="/wiki/J._Barkley_Rosser" target="_blank">/wiki/J._Barkley_Rosser</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></p></li> <li id="fn:3"><p>Langford, C. H (1930). "Review of Grundzüge der theoretischen Logik by D. Hilbert and W. Ackermann" (PDF). Bull. Amer. Math. Soc. 36 (1): 22–25. doi:10.1090/s0002-9904-1930-04859-4. <a href="/wiki/Cooper_Harold_Langford" target="_blank">/wiki/Cooper_Harold_Langford</a> <a href="#fnref:3" class="footnote-back-ref">↩</a></p></li> </ol>