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

Autor(en):

Baaz, Matthias; Ertel, Marcel; Kahle, Reinhard; Piecha, Thomas; von Plato, Jan

Tübinger Autor(en):

Erschienen in:

Journal of Logic and Computation (2024), Bd. 34, H. 6, S. 1003-1009

Verlagsangabe:

Oxford : Oxford Univ Press

Sprache:

Englisch

Referenz zum Volltext:

ISSN:

0955-792X

DDC-Klassifikation:

004 - Informatik
610 - Medizin, Gesundheit

Dokumentart:

Wissenschaftlicher Artikel

Das Dokument erscheint in: