Mijn boeken
← Catalogus
A modal analysis of some principles of the provability logic of Heyting arithmetic
R. Iemhoff

A modal analysis of some principles of the provability logic of Heyting arithmetic

R. Iemhoff
PaperbackEngelsDeel 193 →
In het kort
ISBN-13
9789039320457
Uitgever
Universiteit Utrecht
NUR
600 · Non-fictie informatief/professioneel algemeen
Serie
Logic group preprint series · 193

Lijkt op dit boek

Omslag van CreativeNotes
CreativeNotes
Omslag van Aan de slag met controleren op begrip
Aan de slag met controleren op begrip
Omslag van Aan de slag met opdelen in bouwstenen
Aan de slag met opdelen in bouwstenen
Omslag van Retorische scherpzinnigheid
Retorische scherpzinnigheid
Omslag van Hoogbegaafd in context
Hoogbegaafd in context
Omslag van Aan de slag met controleren op begrip
Aan de slag met controleren op begrip
Omslag van Aan de slag met opdelen in bouwstenen
Aan de slag met opdelen in bouwstenen
Omslag van Omniwar
Omniwar
Omslag van Wegen naar macht
Wegen naar macht
Omslag van Twee containers en een hond
Twee containers en een hond
NSTC 501202550 · CB-relatie 8981163 · Bijgewerkt 6 augustus 2026
Bestel bij bol →
← Catalogus
A modal analysis of some principles of the provability logic of Heyting arithmetic
R. Iemhoff

A modal analysis of some principles of the provability logic of Heyting arithmetic

R. Iemhoff
PaperbackEngelsDeel 193 van Logic group preprint series →
Bestel bij bol →
In het kort
ISBN-13
9789039320457
Uitgever
Universiteit Utrecht
NUR
600 · Non-fictie informatief/professioneel algemeen
Serie
Logic group preprint series · 193

Lijkt op dit boek

Alles bekijken →
Omslag van CreativeNotes
CreativeNotes
Frank Meeuwsen
Omslag van Aan de slag met controleren op begrip
Aan de slag met controleren op begrip
Craig Barton
Omslag van Aan de slag met opdelen in bouwstenen
Aan de slag met opdelen in bouwstenen
Craig Barton
Omslag van Retorische scherpzinnigheid
Retorische scherpzinnigheid
Edward De Vooght
Omslag van Hoogbegaafd in context
Hoogbegaafd in context
Rianne Van de Ven
Omslag van Aan de slag met controleren op begrip
Aan de slag met controleren op begrip
Craig Barton
NSTC 501202550 · CB-relatie 8981163 · Bijgewerkt 6 augustus 2026