An Introduction to Mathematical Logic and Type Theory : To Truth Through Proof /
Contenido: Introducción; Cálculo proposicional; Lógica de primer orden; Probabilidad y refutabilidad; Otras cuestiones de lógica de primer orden; Teoría de tipos; Teoría formalizada de números; Estado incompleto e indecidibilidad.
Uloženo v:
| Hlavní autor: | |
|---|---|
| Médium: | Kniha |
| Jazyk: | angličtina |
| Vydáno: |
Dordrecht, Holanda :
Kluwer,
2002, c2002
|
| Vydání: | 2a edición |
| Edice: | (Applied Logic Series ;
27 ) |
| Témata: | |
| Tagy: |
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| Signatura: |
511. 3 AND
|
||
|---|---|---|---|
| Ejemplar 0500084810 |
Disponible
Préstamo 7 días a 90
|
Sbírka:
Colección General
|
Poznámky:
Ubicar en Nivel 1 Área de Colección General
|