90 years of Gödel's incompleteness theorems: Logic and computation

DSpace Repository

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):
Ertel, Marcel
Kahle, Reinhard
Piecha, Thomas
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

This item appears in the following Collection(s)