Mijn boeken
← Catalogus
Induction rules, reflection principles and provably recursive functions
L.D. Beklemishev

Induction rules, reflection principles and provably recursive functions

L.D. Beklemishev
PaperbackNederlandsDeel 168 →
In het kort
ISBN-13
9789039311370
Uitgever
Universiteit Utrecht
Verschenen
1 juli 1996
NUR
600 · Non-fictie informatief/professioneel algemeen
Serie
Logic group preprint series · 168

Lijkt op dit boek

Omslag van Resonerend lesgeven
Resonerend lesgeven
Omslag van Resonerend lesgeven
Resonerend lesgeven
Omslag van Abundance
Abundance
Omslag van Retorische scherpzinnigheid
Retorische scherpzinnigheid
Omslag van Fight or flight op de werkvloer
Fight or flight op de werkvloer
Omslag van Werkboek Betere Keuzes
Werkboek Betere Keuzes
Omslag van De definitieve gids voor instructional coaching
De definitieve gids voor instructional coaching
Omslag van Toetsrevolutie
Toetsrevolutie
Omslag van Aan de slag met ongevraagd aanwijzen
Aan de slag met ongevraagd aanwijzen
Omslag van Aan de slag met overleg in duo's
Aan de slag met overleg in duo's
NSTC 500807293 · CB-relatie 8981163 · Bijgewerkt 6 augustus 2026
Bestel bij bol →
← Terug naar resultaten
Induction rules, reflection principles and provably recursive functions
L.D. Beklemishev

Induction rules, reflection principles and provably recursive functions

L.D. Beklemishev
PaperbackNederlandsDeel 168 van Logic group preprint series →
Bestel bij bol →
In het kort
ISBN-13
9789039311370
Uitgever
Universiteit Utrecht
Verschenen
1 juli 1996
NUR
600 · Non-fictie informatief/professioneel algemeen
Serie
Logic group preprint series · 168

Lijkt op dit boek

Alles bekijken →
Omslag van Resonerend lesgeven
Resonerend lesgeven
Wieke Karsten
Omslag van Resonerend lesgeven
Resonerend lesgeven
Wieke Karsten
Omslag van Abundance
Abundance
Ezra Klein
Omslag van Retorische scherpzinnigheid
Retorische scherpzinnigheid
Edward De Vooght
Omslag van Fight or flight op de werkvloer
Fight or flight op de werkvloer
Michael Portzky
Omslag van Werkboek Betere Keuzes
Werkboek Betere Keuzes
Paul Dijk
NSTC 500807293 · CB-relatie 8981163 · Bijgewerkt 6 augustus 2026