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

dc.contributor.author	Santos, Paulo Guilherme
dc.date.accessioned	2022-06-27T08:11:33Z
dc.date.available	2022-06-27T08:11:33Z
dc.date.issued	2021
dc.identifier.issn	1079-8986
dc.identifier.uri	http://hdl.handle.net/10900/128459
dc.language.iso	en	de_DE
dc.publisher	Cambridge	de_DE
dc.relation.uri	http://dx.doi.org/10.1017/bsl.2021.68	de_DE
dc.subject.ddc	004	de_DE
dc.subject.ddc	510	de_DE
dc.subject.ddc	610	de_DE
dc.title	VARIANTS OF KREISEL'S CONJECTURE ON A NEW NOTION OF PROVABILITY	de_DE
dc.type	Article	de_DE
utue.quellen.id	20220404000000_00343
utue.publikation.seiten	337-350	de_DE
utue.personen.roh	Santos, Paulo Guilherme
utue.personen.roh	Kahle, Reinhard
dcterms.isPartOf.ZSTitelID	Bulletin of Symbolic Logic	de_DE
dcterms.isPartOf.ZS-Issue	4	de_DE
dcterms.isPartOf.ZS-Volume	27	de_DE