Limitar la búsqueda a ejemplares disponibles
Guardar los marcados Guardar todos de la página Guardar en Mis Listas
AUTORES (1-4 de 4)
Fitting, Melvin
1

Cubierta del libro
Computability theory semantics and logic programming / Melvin Fitting
Fitting, Melvin
New York [etc.] : Oxford University Press [etc.].,

MAT. IMPRESO
1987
   
Ubicación Signatura Tipo de préstamo Estado Notas
 Ciencias.Matemáticas-Dpto. Matemáticas. Álgebra  M-ALGEBRA    CONSULTAR DEPT  DISPONIBLE
2

Cubierta del libro
First-order logic and automated theorem proving / Melvin Fitting
Fitting, Melvin
New York [etc.] : Springer,

MAT. IMPRESO
1996
   
Ubicación Signatura Tipo de préstamo Estado Notas
 EINA.Matemática Aplicada  MA(P)-TM 570    CONSULTAR DEPT  DISPONIBLE
3

Cubierta del libro
Fundamentals of generalized recursion theory / Melvin Fitting
Fitting, Melvin
Amsterdam, etc. : North-Holland,

MAT. IMPRESO
1981
   
Ubicación Signatura Tipo de préstamo Estado Notas
 Ciencias.Matemáticas-Dpto. Matemáticas. Álgebra  M-ALGEBRA    CONSULTAR DEPT  DISPONIBLE
4

Cubierta del libro
Intuitionistic logic, model theory and forcing / Melvin Chris Fitting
Fitting, Melvin
Amsterdam [etc.] : North-Holland,

MAT. IMPRESO
1969
   
Ubicación Signatura Tipo de préstamo Estado Notas
 Ciencias.Matemáticas-Dpto. Matemáticas. Álgebra  M-ALGEBRA    CONSULTAR DEPT  DISPONIBLE
Guardar los marcados Guardar todos de la página
Localizar en resultados