Osnovanija intuicionistskoj matematiki s točki zrenija teorii rekursivnych funkcij

Bibliographische Detailangaben

1. Verfasser:	Kleene, Stephen Cole (VerfasserIn)
Weitere Verfasser:	Vesley, Richard Eugene (VerfasserIn)
Format:	UnknownFormat
Sprache:	rus
Veröffentlicht:	Moskva Nauka 1978
Schriftenreihe:	Matematikaja logika i osnovanija matematiki
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!