기능목록>검색 : 국방대학교 도서관

A Mathematical Introduction to Logic

QR코드

미리보기 도서정보

도서 상세정보
자료유형 :	단행본
분류기호 :	QA9
개인저자 :	Enderton,Herbert B
서명/저자사항 :	A Mathematical Introduction to Logic/ Enderton,Herbert B.
발행사항 :	New York: Academic Press, 1972.
형태사항 :	295p.; 23cm.
언어	영어

소장정보

국방대학교 도서관

예예약 신청
인인쇄
S도서정보문자발송
서서가부재자료신청
보보존서고자료신청
우우선정리예약
무무인예약대출

예약

1. 예약현황은 홈페이지 로그인 후 예약 페이지에 확인 가능합니다.
2. 도착 통보된 예약자료 대출을 원하지 않는 경우에는 예약 현황에서 취소할 수 있습니다.
3. 기타 문의사항은 도서관에 문의 바랍니다.

닫기

무인예약대출

1. 무인예약대출 현황은 홈페이지 로그인 후 무인예약대출 페이지에 확인 가능합니다.
2. 무인예약대출자료 대출을 원하지 않는 경우에는 무인예약대출 페이지에서 신청 또는 접수상태인 경우만 취소할 수 있습니다.
3. 희망대출일은 신청일로부터 최대 1주일 까지 가능합니다.
4. 희망대출일을 선택하지 않은 경우 대출대기 통보 후 1주일까지 기기에서 대출가능합니다.
5. 기타 문의사항은 도서관에 문의 바랍니다.

닫기

Introduction
0. Useful Facts about Sets
1. Sentential Logic
1.0 Informal Remarks on Formal Languages
1.1 The Language of Sentential Logic
1.2 Induction and Recursion
1.3 Truth Assignments
1.4 Unique Readability
1.5 Sentential Connectives
1.6 Switching Circuits
1.7 Compactness and Effectiveness

2. First-Order Logic
2.0 Preliminary Remarks
2.1 First-Order Languages
2.2 Truth and Models
2.3 Unique Readability
2.4 A Deductive Calculus
2.5 Soundness and Completeness Theorems
2.6 Models of Theories
2.7 Interpretations between Theories
2.8 Nonstandard Analysis

3. Undecidability
3.0 Number Theory
3.1 Number Numbers with Successor
3.2 Other Reducts of Number Theory
3.3 A Subtheory of Number Theory
3.4 Arithmetization of Syntax
3.5 Incompleteness and Undecidability
3.6 Applications to Set Theory
3.7 Representing Exponentiation
3.8 Recursive Functions

4. Second-Order Logic
4.1 Second-Order Languages
4.2 Skolem Functions
4.3 Many-Sorted Logic
4.4 General Structures