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

DSpace Repository

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

Author: Santos, Paulo Guilherme; Kahle, Reinhard
Tübinger Autor(en):
Santos, Paulo Guilherme
Published in: Bulletin of Symbolic Logic (2021), Bd. 27, H. 4, S. 337-350
Verlagsangabe: Cambridge
Language: English
Full text: http://dx.doi.org/10.1017/bsl.2021.68
ISSN: 1079-8986
DDC Classifikation: 004 - Data processing and computer science
510 - Mathematics
610 - Medicine and health
Dokumentart: Article
Show full item record

This item appears in the following Collection(s)