VARIANTS OF KREISEL'S CONJECTURE ON A NEW NOTION OF PROVABILITY

DSpace Repositorium (Manakin basiert)

VARIANTS OF KREISEL'S CONJECTURE ON A NEW NOTION OF PROVABILITY

Autor(en): Santos, Paulo Guilherme; Kahle, Reinhard
Tübinger Autor(en):
Santos, Paulo Guilherme
Erschienen in: Bulletin of Symbolic Logic (2021), Bd. 27, H. 4, S. 337-350
Verlagsangabe: Cambridge
Sprache: Englisch
Referenz zum Volltext: http://dx.doi.org/10.1017/bsl.2021.68
ISSN: 1079-8986
DDC-Klassifikation: 004 - Informatik
510 - Mathematik
610 - Medizin, Gesundheit
Dokumentart: Wissenschaftlicher Artikel
Zur Langanzeige

Das Dokument erscheint in: