Lecture Notes in Logic

Gödel '96: Logical foundations of mathematics, computer science and physics---Kurt Gödel's legacy, Brno, Czech Republic, August 1996, proceedings

Petr Hájek (Editor)

Book information

Contributor
Petr Hájek (Editor)

Publication information
Lecture Notes in Logic, Volume 6
Berlin: Springer-Verlag, 1996
322 pp.

Dates
Publication date: 1996
First available in Project Euclid: 23 February 2009

Permanent link to this book
https://projecteuclid.org/euclid.lnl/1235417007

ISBN:
3-540-61434-6

Mathematical Reviews (MathSciNet):
MR1441098

Subjects
Primary: 03A05: Philosophical and critical {For philosophy of mathematics, see also 00A30} 03Bxx: General logic 03Cxx: Model theory 03Dxx: Computability and recursion theory 03Exx: Set theory 03Fxx: Proof theory and constructive mathematics 85A40: Cosmology {For relativistic cosmology, see 83F05}

Rights
Copyright © 1996, Association for Symbolic Logic

Citation
Petr Hájek, ed., Gödel '96: Logical foundations of mathematics, computer science and physics---Kurt Gödel's legacy, Brno, Czech Republic, August 1996, proceedings (Berlin: Springer-Verlag, 1996)

Select/deselect all
  • Export citations
Abstract PDF
Abstract PDF
Abstract PDF

Part I: Invited Papers

Abstract PDF
Abstract PDF
Abstract PDF
Abstract PDF
Abstract PDF
Abstract PDF
Abstract PDF
Abstract PDF
Abstract PDF

Part II: Contributed Papers

Abstract PDF
Abstract PDF
Abstract PDF
Abstract PDF
Abstract PDF
Abstract PDF
Abstract PDF
Abstract PDF
Abstract PDF
Abstract PDF
Abstract PDF
Abstract PDF
Abstract PDF
Abstract PDF
Select/deselect all
  • Export citations