The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: Kleene Symposium Madison, Wis.
Otros Autores: Kleene, Stephen Cole, 1909-1994, Barwise, Jon, Keisler, H. Jerome, Kunen, Kenneth
Formato: Electrónico Congresos, conferencias eBook
Idioma:Inglés
Publicado: Amsterdam ; New York : New York : North-Holland Pub. Co. ; Sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1980.
Colección:Studies in logic and the foundations of mathematics ; v. 101.
Temas:
Kleene, Stephen Cole, > 1909-1994.
Kleene, Stephen Cole, > 1909-1994
Recursion theory > Congresses.
Intuitionistic mathematics > Congresses.
Th�eorie de la r�ecursivit�e > Congr�es.
Math�ematiques intuitionnistes > Congr�es.
Intuitionistic mathematics
Recursion theory
Intu�itionisme.
Recursieve functies.
Conference papers and proceedings
Acceso en línea:Texto completo
Texto completo
Texto completo
Descripción
Descripción Física:1 online resource (xx, 425 pages) : illustrations
Bibliografía:Includes bibliographical references.
ISBN:9780444853455
0444853456

Ejemplares similares