机读格式显示(MARC)
- 000 01661cam a2200265 a 4500
- 008 151020s2015 cc a bi 000 0 eng d
- 245 10 |a A course in mathematical logic / |c J.L. Bell, M. Machover.
- 260 __ |a 北京 : |b 世界图书出版公司, |c 2015.
- 300 __ |a xviii, 599 p. : |b ill. ; |c 23cm.
- 500 __ |a Cover parallel titles.
- 504 __ |a Includes bibliographical references (p. 576-583) and index.
- 520 __ |a This is a study of mathematical logic and the basis of the graduate students or high grade undergraduate tutorial, do not need any relevant logic of the preparatory knowledge, is the most comprehensive learning mathematics logic teaching materials, including many exercises and answer tips, constitute the essential part of this book, very suitable for self-study. Each chapter is divided into many sections, some special sections and issues with an asterisk stressed that this is not so much to express these difficulty increase, but the place is very easily overlooked, so reading need to pay particular attention to. Contents: preliminary knowledge; fundamentals of mathematical logic; first-order logic; first-order logic (continuous); Boolean algebra; theoretical model; recursion theory (continuous); intuitionistic first-order logic; axiomatic set theory; non standard analysis; index; index of symbols.
- 650 _0 |a Mathematical logic.
- 950 __ |a JHUD |b O141 |c B433