BoekenBase Mijn boeken

← Catalogus

A conservative look at term deduction systems with variable binding

W.J. Fokkink

A conservative look at term deduction systems with variable binding

PaperbackNederlandsDeel 140 →

In het kort

ISBN-13

9789039313312

Uitgever

Universiteit Utrecht

Verschenen

1 juli 1995

NUR

600 · Non-fictie informatief/professioneel algemeen

Serie

Logic group preprint series · 140

Lijkt op dit boek

Omslag van Resonerend lesgeven

Resonerend lesgeven

Omslag van Resonerend lesgeven

Resonerend lesgeven

Omslag van Abundance

Omslag van Abundance

Omslag van Retorische scherpzinnigheid

Retorische scherpzinnigheid

Omslag van Lang leve literaire competentie

Lang leve literaire competentie

Omslag van Als je gevoel er niet mag zijn

Als je gevoel er niet mag zijn

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

NSTC 500817571 · CB-relatie 8981163 · Bijgewerkt 6 augustus 2026

Bestel bij bol →

← Terug naar resultaten

A conservative look at term deduction systems with variable binding

W.J. Fokkink

A conservative look at term deduction systems with variable binding

PaperbackNederlandsDeel 140 van Logic group preprint series →

Bestel bij bol →

In het kort

ISBN-13

9789039313312

Uitgever

Universiteit Utrecht

Verschenen

1 juli 1995

NUR

600 · Non-fictie informatief/professioneel algemeen

Serie

Logic group preprint series · 140

Lijkt op dit boek

Alles bekijken →

Omslag van Resonerend lesgeven

Resonerend lesgeven

Omslag van Resonerend lesgeven

Resonerend lesgeven

Omslag van Abundance

Omslag van Abundance

Omslag van Retorische scherpzinnigheid

Retorische scherpzinnigheid

Edward De Vooght

Omslag van Lang leve literaire competentie

Lang leve literaire competentie

NSTC 500817571 · CB-relatie 8981163 · Bijgewerkt 6 augustus 2026