Intuitionistic logic model theory and forcing
Autor principal: | Fitting, Melvin Chris (Autor, Autor/a) |
---|---|
Formato: | Libro |
Lenguaje: | English |
Publicado: |
Amsterdam :
North Holland,
1969.
|
Colección: | Studies in logic and the foundations of mathematics,
|
Materias: |
Ejemplares similares
-
Intuitionistic logic model theory and forcing
por: Fitting, Melvin Chris
Publicado: (1969) -
Fundamentals of generalized recursion theory /
por: Fitting, Melvin Chris, et al.
Publicado: (1981) -
Construcción de los números naturales a partir de los cardinales
por: Alvarado, Yadira J.
Publicado: (1991) -
Set theory and logic
por: Stoll, Robert Roth, et al.
Publicado: (1963) -
Set theory and logic /
por: Fraenkel, Abraham Adolf 1891-1965, et al.
Publicado: (1966)