Gödel '96 : logical foundations of mathematics, computer science, and physics--Kurt Gödel's legacy / edited by Petr Hájek.
Gödel '96 (1996 : Brno, Czech Republic)| Call Number | 511.3 |
| Author | Gödel '96 (1996 : Brno, Czech Republic) |
| Title | Gödel '96 : logical foundations of mathematics, computer science, and physics--Kurt Gödel's legacy / edited by Petr Hájek. |
| Physical Description | 1 online resource (viii, 322 pages) : digital, PDF file(s). |
| Series | Lecture notes in logic ; 6 |
| Notes | Title from publisher's bibliographic system (viewed on 18 Apr 2017). |
| 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. |
| Added Author | Hájek, Petr, editor. |
| Subject | Logic, Symbolic and mathematical Congresses. Mathematics Philosophy Congresses. Computer science Congresses. Mathematical physics Congresses. |
| Multimedia |
Total Ratings:
0
02348nam a22004098i 4500
001
vtls001594119
003
VRT
005
20220808222300.0
006
m|||||o||d||||||||
007
cr||||||||||||
008
220808s2016||||enk o ||1 0|eng|d
020
$a 9781316716939 (ebook)
020
$z 9781107168022 (hardback)
035
$a (UkCbUP)CR9781316716939
039
9
$y 202208082223 $z santha
040
$a UkCbUP $b eng $e rda $c UkCbUP
050
4
$a QA9.A1 $b G6 1996
082
0
4
$a 511.3 $2 23
111
2
$a Gödel '96 $d (1996 : $c Brno, Czech Republic)
245
1
0
$a Gödel '96 : $b logical foundations of mathematics, computer science, and physics--Kurt Gödel's legacy / $c edited by Petr Hájek.
264
1
$a Cambridge : $b Cambridge University Press, $c 2016.
300
$a 1 online resource (viii, 322 pages) : $b digital, PDF file(s).
336
$a text $b txt $2 rdacontent
337
$a computer $b c $2 rdamedia
338
$a online resource $b cr $2 rdacarrier
490
1
$a Lecture notes in logic ; $v 6
500
$a Title from publisher's bibliographic system (viewed on 18 Apr 2017).
520
$a 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.
650
0
$a Logic, Symbolic and mathematical $v Congresses.
650
0
$a Mathematics $x Philosophy $v Congresses.
650
0
$a Computer science $v Congresses.
650
0
$a Mathematical physics $v Congresses.
700
1
$a Hájek, Petr, $e editor.
776
0
8
$i Print version: $z 9781107168022
830
0
$a Lecture notes in logic ; $v 6.
856
4
0
$u https://doi.org/10.1017/9781316716939
999
$a VIRTUA
No Reviews to Display
| 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. |
| Notes | Title from publisher's bibliographic system (viewed on 18 Apr 2017). |
| Subject | Logic, Symbolic and mathematical Congresses. Mathematics Philosophy Congresses. Computer science Congresses. Mathematical physics Congresses. |
| Multimedia |