Theory of formal systems /

Código QR

Theory of formal systems /

Detalles Bibliográficos
Autor principal:	Smullyan, Raymond M. (Autor/a)
Formato:	Libro
Lenguaje:	English
Publicado:	Princeton, N.J. : Princeton University Press, 1961.
Colección:	Annals of mathematics studies ; number 47
Materias:	LÓGICA, SIMBÓLICA Y MATEMÁTICA FUNCIONES RECURSIVAS

Ejemplares similares

Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983 /
por: Richter, Michael M., et al.
Publicado: (1964)

Introducción a la teoría de las funciones recursivas
por: Baules Aguilar, Edgar
Publicado: (1981)

Degrees of unsolvability /
por: Sacks, Gerald E., et al.
Publicado: (1963)

Recursive function theory
Publicado: (1962)

Theory of recursive functions and effective computability /
por: Rogers, Hartley n. 1926-, et al.
Publicado: (1967)

Recursion theory week : proceedings of a Conference held in Oberwolfach, FRG, March 19-25, 1989 /
por: Ambos, Spines K.
Publicado: (1964)

Generalized recursion theory. Proceedings of the 1972 Oslo symposium
Publicado: (1974)

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)

Mathematical interpretation of formal systems /
por: Skolem, Thoralf A. 1887-1967, et al.
Publicado: (1971)

Mathematical interpretation of formal systems /
por: Skolem, Thoralf A. 1887-1967, et al.
Publicado: (1955)

Computability : an introduction to recursive function theory /
por: Cutland, Nigel, et al.
Publicado: (1980)

The foundations of intuitionistic mathematics: especially in relation to recursive functions /
por: Kleene, Stephen Cole 1909-, et al.
Publicado: (1965)

Conditional relationships /
por: Kreiner, Svend, et al.
Publicado: (1989)

Recursive equivalence types /
por: Dekker, Jacob C.E. 1921 -, et al.
Publicado: (1960)

Recursively enumerable sets and degress : a study of computable functions and computably generated sets /
por: Soare, Robert Irving 1940-, et al.
Publicado: (1987)

Computability /
por: Tourlakis, George J., et al.
Publicado: (1984)

Computability and unsolvability
por: Davis, Martin 1928-, et al.
Publicado: (1958)

Computations in higher types /
por: Moldestad, John 1946-, et al.
Publicado: (1964)

The undecidable: basic papers on undecidable propositions, unsolvable problems and computable functions /
por: Davis, Martin 1928-
Publicado: (1965)

Planos afines con operaciones recursivas /
por: Dekker, Jacob C.E. 1921 -, et al.

Equivalencia recursiva /
por: Dekker, Jacob C.E. 1921 -, et al.
Publicado: (1976)

Formal logic : its scope and limits
por: Jeffrey, Richard C., et al.
Publicado: (1967)

Logic techniques of formal reasoning /
por: Kalish, Donald, et al.
Publicado: (1964)

Problemas de decisión y recursividad en sistemas lógicos formales = decision problems and recursiveness in formal logic systems /
por: Piza Volio, Eduardo 1955-

Formal methods : an introduction to symbolic and to the study of effective operations in arithmetic and logic /
por: Beth, Evert Willem, et al.
Publicado: (1962)

Lógica formal lógica dialéctica /
por: Lefebvre, Henri
Publicado: (1978)

Algorithms and recursive functions
por: Mal'tsev, Anatolii Ivanovich 1909-1967, et al.
Publicado: (1970)

Algorithms and recursive fuctions /
por: Mal'Cev, A. I.
Publicado: (1970)

Recursive Functions / by Rózsa Péter
por: Péter, Rózsa

The Calculi of lambda-conversion
por: Church, Alonzo n. 1903, et al.
Publicado: (1941)

Recursive macroeconomic theory /
por: Ljungqvist, Lars, et al.
Publicado: (2000)

Model theory /
por: Chang, C. C.
Publicado: (1973)

Proof theory : an introduction /
por: Pohlers, Wolfram, et al.
Publicado: (1964)

La lógica formal
por: Virieux-Reymond, Antoinette
Publicado: (1976)

New foundations for concept theory
por: Schock, Rolf 1933-, et al.
Publicado: (1969)

The Computational complexity of logical theories /
por: Ferrante, Jeanne 1949-, et al.
Publicado: (1964)

Fundamentals of generalized recursion theory /
por: Fitting, Melvin Chris, et al.
Publicado: (1981)

Intuitionism and proof theory : proceedings of the Summer Conference at Buffalo, N. Y. 1968. /
por: Kino, A., et al.
Publicado: (1970)

Theorie des modeles en logique mathematique /
por: Daigneault, Aubert 1932-
Publicado: (1967)

Introducción a la lógica formal /
por: Mendizábal Prem, Francisco
Publicado: (1992)