책 이미지
eBook 미리보기
책 정보
· 제목 : Mathematical Logic (Paperback)
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 논리
· ISBN : 9783030738419
· 쪽수 : 304쪽
· 출판일 : 2022-05-30
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 논리
· ISBN : 9783030738419
· 쪽수 : 304쪽
· 출판일 : 2022-05-30
목차
A.- I Introduction.- II Syntax of First-Order Languages.- III Semantics of First-Order Languages.- IV A Sequent Calculus.- V The Completeness Theorem.- VI The Lowenheim?Skolem and the Compactness Theorem.- VII The Scope of First-Order Logic.- VIII Syntactic Interpretations and Normal Forms.- B.- IX Extensions of First-Order Logic.- X Computability and Its Limitations.- XI Free Models and Logic Programming.- XII An Algebraic Characterization of Elementary Equivalence.- XIII Lindstrom’s Theorems.- References.- List of Symbols.- Subject Index.
