Cyclic Proof Systems for Modal Fixpoint Logics
Guillermo Menendez Turata
Cyclic Proof Systems for Modal Fixpoint Logics
PaperbackEngels
In het kort
ISBN-13
9789464733471
Uitgever
Verschenen
30 januari 2024
Imprint
Bibliografisch
ISBN-139789464733471
Editie1
TaalEngels eng
GeïllustreerdNee
Uitgave
UitgeverIpskamp Drukkers
ImprintIpskamp Printing
CB-relatie-id6493941
Verschenen30 januari 2024
StatusOnbekend 00
Vorm & inhoud
ProductvormPaperback BC
SamenstellingLos product
Classificatie
NUR (hoofd)Fundamentele wiskunde 921
NUR (alle)921 Fundamentele wiskunde
Medewerkers
Auteur A01Guillermo Menendez Turata
Herkomst
Werk-id (NSTC)501573172
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
Lijkt op dit boek
NSTC 501573172 · CB-relatie 6493941 · Bijgewerkt 6 augustus 2026