- Main
- Mathematics - Logic
- Mathematical logic
Mathematical logic
Stephen Cole KleeneBạn thích cuốn sách này tới mức nào?
Chất lượng của file scan thế nào?
Xin download sách để đánh giá chất lượng sách
Chất lượng của file tải xuống thế nào?
Undergraduate students with no prior classroom instruction in mathematical logic will benefit from this evenhanded multipart text by one of the centuries greatest authorities on the subject. Part I offers an elementary but thorough overview of mathematical logic of first order. The treatment does not stop with a single method of formulating logic; students receive instruction in a variety of techniques, first learning model theory (truth tables), then Hilbert-type proof theory, and proof theory handled through derived rules. Part II supplements the material covered in Part I and introduces some of the newer ideas and the more profound results of logical research in the twentieth century. Subsequent chapters introduce the study of formal number theory, with surveys of the famous incompleteness and undecidability results of Gödel, Church, Turing, and others. The emphasis in the final chapter reverts to logic, with examinations of Gödel's completeness theorem, Gentzen's theorem, Skolem's paradox and nonstandard models of arithmetic, and other theorems. Unabridged republication of the edition published by John Wiley & Sons, Inc. New York, 1967. Preface. Bibliography. Theorem and Lemma Numbers: Pages. List of Postulates. Symbols and Notations. Index.
Thể loại:
Năm:
2002
In lần thứ:
Dover ed
Nhà xuát bản:
Dover Publications
Ngôn ngữ:
english
Trang:
412
ISBN 10:
0486425339
ISBN 13:
9780486425337
File:
DJVU, 2.92 MB
Các thể loại của bạn:
IPFS:
CID , CID Blake2b
english, 2002
Không download được sách này bởi khiếu nại của đại diện pháp luật
Lợi ích của trạng thái Premium
- Gửi tới độc giả điện tử
- Tăng giới hạn tải xuống
- Chuyển đổi tập tin
- Các kết quả tìm kiếm tiếp theo
- Các lợi ích khác