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.
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Libro |
| Lingua: | inglese |
| Pubblicazione: |
Dordrecht, Holanda :
Kluwer,
2002, c2002
|
| Edizione: | 2a edición |
| Serie: | (Applied Logic Series ;
27 ) |
| Soggetti: | |
| Tags: |
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Lascia un commento!