Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983 /
Autor principal: | Richter, Michael M. (Autor, Autor/a) |
---|---|
Formato: | Libro |
Lenguaje: | English |
Publicado: |
Berlín :
Springer,
1964-.
|
Materias: |
Ejemplares similares
-
Theory of formal systems /
por: Smullyan, Raymond M.
Publicado: (1961) -
Introducción a la teoría de las funciones recursivas
por: Baules Aguilar, Edgar
Publicado: (1981) -
Computational methods and function theory : proceedings of a Conference, held in Valparaiso, Chile, march 13-18, 1989 /
por: Ruscheweyh, S. T., et al.
Publicado: (1964) -
Proof theory : an introduction /
por: Pohlers, Wolfram, et al.
Publicado: (1964) -
Theory of recursive functions and effective computability /
por: Rogers, Hartley n. 1926-, et al.
Publicado: (1967)