Fundamentals of generalized recursion theory /
Autor principal: | Fitting, Melvin Chris (Autor, Autor/a) |
---|---|
Formato: | Libro |
Lenguaje: | English |
Publicado: |
Amsterdam :
North Holland,
1981.
|
Colección: | Studies in logic and the Foundations of Mathematics ;
105) |
Materias: |
Ejemplares similares
-
Intuitionistic logic model theory and forcing
por: Fitting, Melvin Chris
Publicado: (1969) -
Intuitionistic logic model theory and forcing
por: Fitting, Melvin Chris, et al.
Publicado: (1969) -
Fundamentals of symbolic logic : Alice Ambrose and Morris Lazerowitz. --
por: Ambrose, Alice 1906-, et al.
Publicado: (1962) -
Theorie generale des structures
por: Glivenko, Valere I., et al.
Publicado: (1938) -
Model theory /
por: Chang, C. C.
Publicado: (1973)