Mijn boeken
Catalogus
Propositional Logics of Closed and Open Substitutions over Heyting's Arithmetic
A. Visser

Propositional Logics of Closed and Open Substitutions over Heyting's Arithmetic

HardbackNederlands
In het kort

Lijkt op dit boek

NSTC 501204586 · CB-relatie 8981163 · Bijgewerkt 6 augustus 2026
Bestel bij bol →
← Catalogus
Propositional Logics of Closed and Open Substitutions over Heyting's Arithmetic
A. Visser

Propositional Logics of Closed and Open Substitutions over Heyting's Arithmetic

HardbackNederlands
Bestel bij bol →
In het kort

Lijkt op dit boek

Alles bekijken →
NSTC 501204586 · CB-relatie 8981163 · Bijgewerkt 6 augustus 2026