×

Found 98 Documents (Results 1–98)

Model-theoretic logics. New edition of the 1985 original published by Springer. (English) Zbl 1390.03002

Perspectives in Logic. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 978-1-107-16825-1/hbk; 978-1-316-71715-8/ebook). xviii, 893 p. (2016).
PDFBibTeX XMLCite
Full Text: DOI

Theses for computation and recursion on concrete and abstract structures. (English) Zbl 1403.03004

Sommaruga, Giovanni (ed.) et al., Turing’s revolution. The impact of his ideas about computability. Cham: Birkhäuser/Springer (ISBN 978-3-319-22155-7/hbk; 978-3-319-22156-4/ebook). 105-126 (2015).
PDFBibTeX XMLCite
Full Text: DOI

A fortuitous year with Leon Henkin. (English) Zbl 1326.03004

Manzano, María (ed.) et al., The life and work of Leon Henkin. Essays on his contributions. Cham: Birkhäuser/Springer (ISBN 978-3-319-09718-3/pbk; 978-3-319-09719-0/ebook). Studies in Universal Logic, 35-40 (2014).
MSC:  03-03 01A70
PDFBibTeX XMLCite
Full Text: DOI

Kurt Gödel. Essays for his centennial. Reprint of the 2010 hardback edition. (English) Zbl 1278.03019

Lecture Notes in Logic 33. Cambridge: Cambridge University Press; Ithaca, NY: Association for Symbolic Logic (ASL) (ISBN 978-1-107-68346-4/pbk; 978-0-511-74094-7/ebook). x, 373 p. (2013).
PDFBibTeX XMLCite

Axiomatizing truth: why and how? (English) Zbl 1315.03003

Berger, Ulrich (ed.) et al., Logic, construction, computation. Dedicated to the 70th birthday of Helmut Schwichtenberg. Frankfurt am Main: Ontos Verlag; Berlin: De Gruyter (ISBN 978-3-11-032453-2/hbk; 978-3-86838-158-0/hbk; 978-3-11-032492-1/ebook). Ontos Mathematical Logic 3, 185-200 (2012).
MSC:  03A05 03F25 03F30
PDFBibTeX XMLCite

Alan Turing’s Systems of logic. The Princeton thesis. Edited and introduced by Andrew W. Appel. (English) Zbl 1273.01061

Princeton, NJ: Princeton University Press (ISBN 978-0-691-15574-6/hbk). xv, 142 p. (2012).
PDFBibTeX XMLCite
Full Text: DOI

Enriched stratified systems for the foundations of category theory. (English) Zbl 1315.18001

Sommaruga, Giovanni (ed.), Foundational theories of classical and constructive mathematics. Based on the annual meeting of the Swiss Society for Logic and Philosophy of Science (SSLPS) on “Foundational theories of mathematics”, Freiburg, Switzerland, October 11–12, 2006. Berlin: Springer (ISBN 978-94-007-0430-5/hbk; 978-94-007-0431-2/ebook). The Western Ontario Series in Philosophy of Science 76, 127-143 (2011).
MSC:  18A15
PDFBibTeX XMLCite
Full Text: DOI

Lieber Herr Bernays! Lieber Herr Gödel! Gödel on finitism, constructivity, and Hilbert’s program. (English) Zbl 1311.01020

Baaz, Matthias (ed.) et al., Kurt Gödel and the foundations of mathematics. Horizons of truth. Cambridge: Cambridge University Press (ISBN 978-0-521-76144-4/hbk). 111-133 (2011).
MSC:  01A60 03-03
PDFBibTeX XMLCite

The proof theory of classical and constructive inductive definitions. A forty year saga, 1968–2008. (English) Zbl 1244.03003

Schindler, Ralf (ed.), Ways of proof theory. Collected papers by speakers of the colloquium and workshop held on the occasion of the retirement of Wolfram Pohlers, July 17–19, 2008, Münster, Germany. Frankfurt am Main: Ontos Verlag (ISBN 978-3-86838-087-3/hbk). Ontos Mathematical Logic 2, 7-30 (2010).
PDFBibTeX XMLCite

Proofs, categories and computations. Essays in honor of Grigori Mints. With the collaboration of Vladik Kreinovich, Vladimir Lifschitz, and Ruy de Queiroz. (English) Zbl 1203.03007

Tributes 13. London: College Publications (ISBN 978-1-84890-012-7/pbk). x, 310 p. (2010).
MSC:  03-06 00B30
PDFBibTeX XMLCite

Kurt Gödel. Essays for his centennial. (English) Zbl 1196.03006

Lecture Notes in Logic 33. Cambridge: Cambridge University Press; Ithaca, NY: Association for Symbolic Logic (ASL) (ISBN 978-0-521-11514-8/hbk). x, 373 p. (2010).
PDFBibTeX XMLCite

Typical ambiguity: trying to have your cake and eat it too. (English) Zbl 1060.03009

Link, Godehard (ed.), One hundred years of Russell’s paradox. Mathematics, logic, philosophy. Based on the Munich centenary conference, Munich, Germany, June 2001 . Berlin: de Gruyter (ISBN 3-11-017438-3/hbk). de Gruyter Series in Logic and Its Applications 6, 135-151 (2004).
MSC:  03A05 03E99 18A15
PDFBibTeX XMLCite

Alfred Tarski and a watershed meeting in logic: Cornell, 1957. (English) Zbl 1065.03004

Hintikka, Jaakko (ed.) et al., Philosophy and logic. In search of the Polish tradition. Essays in honour of Jan Woleński on the occasion of his 60th birthday. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-1721-9/hbk). Synthese Library 323, 151-162 (2003).
MSC:  03-03 01A60
PDFBibTeX XMLCite

Relationships between constructive, predicative and classical systems of analysis. (English) Zbl 1017.03036

Hendricks, Vincent F. (ed.) et al., Proof theory. History and philosophical significance. Papers from the conference, Roskilde, Denmark, October 31-November 1, 1997. Dordrecht: Kluwer Academic Publishers. Synth. Libr. 292, 221-236 (2002).
PDFBibTeX XMLCite

Collected works. Volume III: Unpublished essays and lectures. Edited by Solomon Feferman and others. Paperback ed. (English, German) Zbl 1074.01015

Oxford: Oxford University Press (ISBN 0-19-514722-7/pbk). xvii, 532 p. (2001).
MSC:  01A75 03-03
PDFBibTeX XMLCite

Collected works of A. M. Turing. Mathematical logic. Edited by R. O. Gandy and C. E. M. Yates. Including prefaces by Solomon Feferman. (English) Zbl 0986.01023

Amsterdam: Elsevier. xii, 293 p. (2001).
MSC:  01A75 03-03
PDFBibTeX XMLCite

Collected works. Volume I: Publications 1929–1936. Edited by Solomon Feferman and others. Paperback ed. (English) Zbl 0973.01104

Oxford: Oxford University Press. xvi, 474 p. (2001).
MSC:  01A75 03-03
PDFBibTeX XMLCite

Challenges to predicative foundations of arithmetic. (English) Zbl 0991.03052

Sher, Gila (ed.) et al., Between logic and intuition. Essays in honor of Charles Parsons. Cambridge: Cambridge University Press. 317-338 (2000).
MSC:  03F30 03A05
PDFBibTeX XMLCite

Tarski and Gödel: Between the lines. (English) Zbl 0973.01031

Woleński, Jan (ed.) et al., Alfred Tarski and the Vienna Circle. Austro-Polish connections in logical empiricism. Papers from the international conference, Vienna, Austria, July 12-14, 1997. Dordrecht: Kluwer Academic Publishers. Vienna Circ. Inst. Yearb. 6, 53-63 (1999).
MSC:  01A60 03-03 01A70
PDFBibTeX XMLCite

Gödel’s program for new axioms: Why, where, how and what? (English) Zbl 0857.03034

Hájek, Petr (ed.), Gödel ’96. Logical foundations of mathematics, computer science and physics – Kurt Gödel’s legacy. Proceedings of a conference, Brno, Czech Republic, August 1996. Berlin: Springer-Verlag. Lect. Notes Log. 6, 3-22 (1996).
PDFBibTeX XMLCite

Turing’s “oracle”: From absolute to relative computability – and back. (English) Zbl 0853.03013

Echeverria, Javier (ed.) et al., The space of mathematics. Philosophical, epistemological, and historical explorations. Revised papers from a symposium on structures in mathematical theories, Donostia/San Sebastian, Basque Country, Spain, September 1990. Berlin: Walter de Gruyter. Grundlagen der Kommunikation und Kognition. 314-348 (1992).
PDFBibTeX XMLCite

Logics for termination and correctness of functional programs. (English) Zbl 0754.03018

Logic from computer science, Proc. Workshop, Berkeley/CA (USA) 1989, Publ., Math. Sci. Res. Inst. 21, 95-127 (1992).
MSC:  03B70 03F35 03F30
PDFBibTeX XMLCite

Logics for termination and correctness of functional programs. II: Logics of strength PRA. (English) Zbl 0790.03029

Aczel, Peter (ed.) et al., Proof theory. A selection of papers from the Leeds proof theory programme, an international summer school and conference on proof theory, held at the Leeds University, UK, from July 24-August 2, 1990. Cambridge: Cambridge University Press. 197-225 (1992).
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

Software