책 이미지
책 정보
· 제목 : The Mathematics of Logic : A Guide to Completeness Theorems and Their Applications (Paperback) 
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 논리
· ISBN : 9780521708777
· 쪽수 : 218쪽
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 논리
· ISBN : 9780521708777
· 쪽수 : 218쪽
목차
Preface; How to read this book; 1. Konig's lemma; 2. Posets and maximal elements; 3. Formal systems; 4. Deductions in posets; 5. Boolean algebras; 6. Propositional logic; 7. Valuations; 8. Filters and ideals; 9. First-order logic; 10. Completeness and compactness; 11. Model theory; 12. Nonstandard analysis; Bibliography; Index.
저자소개
추천도서
분야의 베스트셀러 >