Propostional proof systems and fast consistency provers
J.J. Joosten
Propostional proof systems and fast consistency provers
PaperbackNederlands
In het kort
Bibliografisch
ISBN-139789039344521
Editie1
TaalNederlands dut
GeïllustreerdNee
Uitgave
Vorm & inhoud
ProductvormPaperback BC
SamenstellingLos product
Classificatie
NUR (hoofd)Theoretische filosofie 733
NUR (alle)733 Theoretische filosofie
Medewerkers
Auteur A01J.J. Joosten
Herkomst
Werk-id (NSTC)501204880
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
Lijkt op dit boek
NSTC 501204880 · CB-relatie 8981163 · Bijgewerkt 6 augustus 2026









