Suchergebnisse - Nederpelt, Rob 1942-

Type theory and formal proof: an introduction

von Nederpelt, Rob 1942-

Online lesen (BSB)
Benutzerausweis der Bayerischen Staatsbibliothek (BSB) nötig.
Online lesen (LMU)
In der Bibliothek der LMU nutzbar.

A modern perspective on type theory: from its origins until today

von Kamareddine, Fairouz, Laan, Twan 1970-, Nederpelt, Rob 1942-

Per Fernleihe bestellen

De taal van de wiskunde: een verkenning van wiskundig taalgebruik en logische redeneerpatronen

von Nederpelt, Rob 1942-

Per Fernleihe bestellen

Type theory and formal proof: an introduction

von Nederpelt, Rob 1942-, Geuvers, Herman 1964-

Inhaltsverzeichnis