Mijn boeken
Catalogus
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

Lijkt op dit boek

NSTC 501517310 · CB-relatie 8962926 · Bijgewerkt 6 augustus 2026
Bestel bij bol →
← Catalogus
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
Bestel bij bol →
In het kort

Lijkt op dit boek

Alles bekijken →
NSTC 501517310 · CB-relatie 8962926 · Bijgewerkt 6 augustus 2026