Large infinitary languages : Model theory / M. a. dickmann
Tipo de material:
TextoSeries Studies in logic and the foundations of mathematics ; 83Editor: Amsterdam : North-holland, 1975Descripción: 464 páginasTipo de contenido: texto Tipo de medio: sin medio Tipo de portador: volumenTema(s): Teoría de modelos | Lenguajes infinitariosClasificación LoC:QA9.37 | D52
| Tipo de ítem | Biblioteca actual | Colección | Clasificación | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
|---|---|---|---|---|---|---|---|---|
Libros
|
Libros Libros | Coleccion General | QA9.37 D52 (Navegar estantería(Abre debajo)) | 1 | Disponible | 21720 |
Total de reservas: 0
Navegando Libros Estantes, Ubicación: Libros, Código de colección: Coleccion General Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
|
|
|
|
|
|
|
||
| QA9.35 D55 Predicate calculus and program semantics / | QA9.35 D73 The decision problem : | QA9.35 D73 The decision problem : | QA9.37 D52 Large infinitary languages Model theory | QA9.4 E57 The mathematical method : | QA9.4 P75 An introduction to non-classical logic / | QA9.45 B65 Many-valued logics / |
No hay comentarios en este titulo.