Formal systems and recursive functions : proceedings of the Eighth Logic Colloquium, Oxford, July 1963

Formal systems and recursive functions proceedings of the Eighth Logic Colloquium, Oxford, July 1963

Bibliographic Details
Corporate Author: Logic Colloquium (-)
Other Authors: Crossley, John N. (-), Dummett, Michael, 1925-2011
Format: Book
Language:Inglés
Published: Amsterdam : North-Holland 1965.
Series:Studies in Logic and the Foundations of Mathematics
Subjects:
Lógica matemática > congresos y asambleas.
Lógica simbólica > congresos y asambleas.
Funciones recursivas > congresos y asambleas.
See on Universidad de Deusto:https://oceano.biblioteca.deusto.es/primo-explore/search?query=any,contains,991002743629703351&tab=default_tab&search_scope=deusto_alma&vid=deusto
Request an interlibrarian loan: Email
Description
Physical Description:320 p. ; 23 cm
Bibliography:Bibliografía

Similar Items