Recursive equivalence types

Bibliographische Detailangaben

1. Verfasser:	Dekker, J. C. E. (VerfasserIn)
Weitere Verfasser:	Myhill, John (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berkeley, Calif. u.a. Univ. of California Press 1960
Schriftenreihe:	University of California publications in mathematics N.S., 3,3
Schlagworte:	Recursive functions
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!