Back to search results

Gödel '96

Enlarge text Shrink text
  • Book

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the sixth publication in the Lecture Notes in Logic series, collects the proceedings of the conference 'Logical Foundations of Mathematics, Computer Science, and Physics - Kurt Gödel's Legacy', held in Brno, Czech Republic, on the 90th anniversary of Gödel's birth. The broad range of speakers who participated in this event affirms the continuing importance of Gödel's work in logic, physics, and the philosophy and foundations of mathematics and computer science. The papers in this volume range over all these topics and contribute to our present understanding of them.

Title Gödel '96 : logical foundations of mathematics, computer science, and physics--Kurt Gödel's legacy / edited by Petr Hájek. [electronic resource]
Publisher Cambridge : Cambridge University Press
Creation Date 2016
Notes Title from publisher's bibliographic system (viewed on 18 Apr 2017).
Includes bibliographical references at the end of each chapters.
Series Lecture notes in logic
6
Extent 1 online resource (viii, 322 pages) : digital, PDF file(s).
Language English
National Library system number 997011505116005171
MARC RECORDS
Tags

Have more information? Found a mistake?

More on this subject

Logic Colloquium 2005 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Athens, Greece, July 28-August 3, 2005 / edited by Costas Dimitracopoulos [and three others]. [electronic resource]
Book
Logic Colloquium 2007 / edited by Françoise Delon [and others]. [electronic resource]
Book
Logic Colloquium 2006 / edited by S. Barry Cooper [and three others]. [electronic resource]
Book
Logic Colloquium '95 : proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, Haifa, Israel, August 9-18, 1995 / edited by Johann A. Makowsky, Elena V. Ravve. [electronic resource]
Book

This may also interest you

Who Is the Empty Chair at the Passover Seder Intended for?

Who Is the Empty Chair at the Passover Seder Intended for?

While we all sit, as we do every year, at the Seder table, while we sing, ask questions, read the Haggadah and enjoy the holiday meal, hundreds of families among us will not be able to do this. Their holiday spirit, their joy, their loved ones were taken from them.  Their loved ones were kidna

To the article on our blog
Let’s Raise a Glass for Miriam the Prophetess

Let’s Raise a Glass for Miriam the Prophetess

As opposed to the Passover Haggadah, the Jewish Midrash tells us of the significant role played by Miriam the Prophetess in the Exodus from Egypt. Every Passover we are told of the Children of Israel’s journey from slavery to freedom, but it often goes unmentioned that Miriam the Prophetess, sister

To the article on our blog
World War II

World War II

World War II was the most destructive and deadly war in human history. The war officially began when Nazi Germany invaded Poland on September 1, 1939. Although the invasion of Poland is commonly seen as the first act of war, Nazi Germany’s annexation of Austria and its occupation of Czechoslovakia i

More on this subject