National Science Library of Georgia

Local cover image
Local cover image
Image from Google Jackets

Gödel '96 : logical foundations of mathematics, computer science, and physics--Kurt Gödel's legacy / edited by Petr Hájek.

By: Contributor(s): Material type: TextTextSeries: Lecture notes in logic ; 6.Publisher: Cambridge : Cambridge University Press, 2016Description: 1 online resource (viii, 322 pages) : digital, PDF file(s)Content type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9781316716939 (ebook)
Subject(s): Additional physical formats: Print version: : No titleDDC classification:
  • 511.3 23
LOC classification:
  • QA9.A1 G6 1996
Online resources: Summary: 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.
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

Title from publisher's bibliographic system (viewed on 18 Apr 2017).

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.

There are no comments on this title.

to post a comment.

Click on an image to view it in the image viewer

Local cover image
Copyright © 2023 Sciencelib.ge All rights reserved.