90 years of Gödel's incompleteness theorems: Logic and computation
Author:
|
Baaz, Matthias; Ertel, Marcel; Kahle, Reinhard; Piecha, Thomas; von Plato, Jan
|
Tübinger Autor(en):
|
|
Published in:
|
Journal of Logic and Computation
(2024), Bd.
34,
H.
6,
S.
1003-1009
|
Verlagsangabe:
|
Oxford : Oxford Univ Press
|
Language:
|
English
|
Full text:
|
http://dx.doi.org/10.1093/logcom/exae026
|
ISSN:
|
0955-792X
|
DDC Classifikation:
|
004 - Data processing and computer science 610 - Medicine and health
|
Dokumentart:
|
Article
|
Show full item record
|