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ø!
|
Vær først til at give en kommentarø!