Uniform Interpolation and Admissible Rules. Proof-theoretic investigations into (intuitionistic) modal logics
Iris van der Giessen
Uniform Interpolation and Admissible Rules. Proof-theoretic investigations into (intuitionistic) modal logics
PaperbackEngels
In het kort
ISBN-13
9789493253025
Uitgever
Verschenen
31 augustus 2022
Bibliografisch
ISBN-139789493253025
Editie1
TaalEngels eng
GeïllustreerdJa
Uitgave
Vorm & inhoud
ProductvormPaperback BC
SamenstellingLos product
Classificatie
Medewerkers
Auteur A01Iris van der Giessen
Herkomst
Werk-id (NSTC)501517310
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
Lijkt op dit boek
NSTC 501517310 · CB-relatie 8962926 · Bijgewerkt 6 augustus 2026









