Original language | English |
---|---|
Title of host publication | Gödel’1996 |
Subtitle of host publication | Logical Foundations of Mathematics, Computer Science and Physics—Kurt Gödel’s Legacy |
Editors | Petr Hajek |
Place of Publication | Berlin, Heidelberg |
Publisher | Springer |
Pages | 214–223 |
State | Published - 1 Jan 1996 |
Publication series
Name | Lectures Notes in Logic |
---|---|
Volume | 6 |