Formalized recursive functionals and formalized realizability

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Kleene, Stephen Cole 1909-1994 (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Providence, RI American Mathematical Society 1969
Schriftenreihe:	Memoirs of the American Mathematical Society 89
Schlagworte:	Fonctions récursives Rekursive Funktion
Online-Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge