Lectures on mathematical logic / Walter Felscher
Tipo de material:
TextoEditor: Amsterdam, the Netherlands : Gordon and breach science, c2000Descripción: 3 volúmenesTipo de contenido: texto Tipo de medio: sin medio Tipo de portador: volumenISBN: 905699266X (v. 1); 9789056992668 (v. 1 empastado, cubierta dura); 9056992678 (v. 2); 9056992686 (v. 3)Tema(s): Lógica simbólica y matemática | Aritmética -- Estudio y enseñanzaClasificación CDD: 611.3 Clasificación LoC:QA9.2 | F445
Contenidos:
v. 1. Set theoretical logic : the algebra of models -- v. 2. Calculi for derivations and deductions -- v. 3. The logic of arithmetic
| 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 | General | QA9.2 F445 (Navegar estantería(Abre debajo)) | 1 | Disponible | 4100 | ||
|
Libros
|
Libros Libros | General | QA9.2 F445 (Navegar estantería(Abre debajo)) | 1 | Disponible | 4081 |
Total de reservas: 0
Navegando Libros Estantes, Ubicación: Libros, Código de colección: General Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
|
|
|
|
|
|
|
||
| QA9 W62 Remarks on the foundations of mathematics / | QA9.2 A53 Alan turing's systems of logic the Princeton thesis | QA9.2 F445 Lectures on mathematical logic / | QA9.2 F445 Lectures on mathematical logic / | QA9.2 K87 Kurt Gödel : | QA9.2 M38 Mathematical logic in the 20th century / | QA9.2 S65 Logica matematica / |
v. 1. Set theoretical logic : the algebra of models -- v. 2. Calculi for derivations and deductions -- v. 3. The logic of arithmetic
No hay comentarios en este titulo.