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.
Guardado en:
| Hovedforfatter: | |
|---|---|
| Format: | Bog |
| Sprog: | engelsk |
| Udgivet: |
Dordrecht, Holanda :
Kluwer,
2002, c2002
|
| Udgivelse: | 2a edición |
| Serier: | (Applied Logic Series ;
27 ) |
| Fag: | |
| Tags: |
Ingen Tags, Vær først til at tagge denne postø!
|
| Summary: | 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. |
|---|---|
| Fysisk beskrivelse: | XVIII, 390 p. |
| ISBN: | 1-4020-0763-9 |