An introduction to mathematical logic and type theory : To truth through proof / Peter b. andrews
Tipo de material:
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 | General | QA9 A53 (Navegar estantería(Abre debajo)) | 1 | Disponible | 6393 |
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)
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
||
QA871 S835 Retarded dynamical systems : | QA871 T46 2002 Nonlinear dynamics and chaos / | QA9 A33 Logic of mathematics : | QA9 A53 An introduction to mathematical logic and type theory : | QA9 A865 Mathematical logic and computation | QA9 B36 An algebraic introduction to mathematical logic / | QA9 B37 Philosophy of mathematics. |
No hay comentarios en este titulo.