Formal systems and recursive functions. Proceedings of the eighth logic colloquium Oxford, July 1963.

Uložené v:
Podrobná bibliografia
Ďalší autori: Crossley, John N. (Editor), Dummett, Michael, 1925-2011 (Editor)
Médium: Kniha
Jazyk:English
Vydané: Amsterdam : North-Holland Publishing Company, 1965.
Fyzický popis: 320 strán.
Tagy: Pridať tag
Žiadne tagy, Buďte prvý kto otaguje tento záznam!