On Kripke-style semantics for the provability logic Gödel's proof predicate with quantifiers on proofs
R. Yavorskiy
On Kripke-style semantics for the provability logic Gödel's proof predicate with quantifiers on proofs
PaperbackNederlands
In het kort
Bibliografisch
ISBN-139789039339985
Editie1
TaalNederlands dut
GeïllustreerdNee
Uitgave
Vorm & inhoud
ProductvormPaperback BC
SamenstellingLos product
Classificatie
NUR (hoofd)Godsdienstwijsbegeerte en ethiek 705
NUR (alle)705 Godsdienstwijsbegeerte en ethiek
Medewerkers
Auteur A01R. Yavorskiy
Herkomst
Werk-id (NSTC)501204434
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
NSTC 501204434 · CB-relatie 8981163 · Bijgewerkt 6 augustus 2026