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.
Kaydedildi:
| Yazar: | |
|---|---|
| Materyal Türü: | Kitap |
| Dil: | İngilizce |
| Baskı/Yayın Bilgisi: |
Dordrecht, Holanda :
Kluwer,
2002, c2002
|
| Edisyon: | 2a edición |
| Seri Bilgileri: | (Applied Logic Series ;
27 ) |
| Konular: | |
| Etiketler: |
Etiket eklenmemiş, İlk siz ekleyin!
|
İlk yorumlayan siz olun!