國立高雄大學圖資館 |

語系: 繁體中文

說明(常見問題)

圖資館首頁

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Introduction to mathematical logic /

~

Mendelson, Elliott.

Introduction to mathematical logic /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Introduction to mathematical logic /Elliott Mendelson.
作者:	Mendelson, Elliott.
出版者:	Boca Raton :CRC Press/Taylor & Francis Group,c2015.
面頁冊數:	xxiv, 489 p. :ill. ;25 cm.
附註:	"A Chapman & Hall book."
標題:	Logic, Symbolic and mathematical.
ISBN:	9781482237726 (pbk.) :

Introduction to mathematical logic /
Mendelson, Elliott.

Introduction to mathematical logic /Elliott Mendelson. - 6th ed. - Boca Raton :CRC Press/Taylor & Francis Group,c2015. - xxiv, 489 p. :ill. ;25 cm. - Textbooks in mathematics. - Textbooks in mathematics (Boca Raton, Fla.).

"A Chapman & Hall book."

Includes bibliographical references and index.

Front Cover; Contents; Preface; Introduction; Chapter 1: The Propositional Calculus; Chapter 2: First-Order Logic and Model Theory; Chapter 3: Formal Number Theory; Chapter 4: Axiomatic Set Theory; Chapter 5: Computability; Appendix A: Second-Order Logic; Appendix B: First Steps in Modal Propositional Logic; Appendix C: A Consistency Proof for Formal Number Theory; Answers to Selected Exercises; Bibliography; Notations; Back Cover.

ISBN: 9781482237726 (pbk.) :NT$2400

LCCN: 2014044032Subjects--Topical Terms:

180452
Logic, Symbolic and mathematical.

LC Class. No.: QA9 / .M4 2015

Dewey Class. No.: 511.3

Introduction to mathematical logic /
LDR:01243cam a2200265 a 450 001 501958
003 OCoLC
005 20170724034610.0
008 170816s2015 flua b 001 0 eng
010 $a 2014044032
020 $a 9781482237726 (pbk.) : $c NT$2400
020 $a 1482237725 (pbk.)
035 $a (OCoLC)894816622
035 $a ocn894816622
040 $a DLC $b eng $c DLC $d YDX $d OCLCF $d YDXCP $d CDX $d IAD $d CHVBK $d I8M $d OCLCO $d OCLCQ $d ZH7
042 $a pcc
050 0 0 $a QA9 $b .M4 2015
082 0 0 $a 511.3 $2 23
100 1 $a Mendelson, Elliott. $3 397302
245 1 0 $a Introduction to mathematical logic / $c Elliott Mendelson.
250 $a 6th ed.
260 $a Boca Raton : $b CRC Press/Taylor & Francis Group, $c c2015.
300 $a xxiv, 489 p. : $b ill. ; $c 25 cm.
490 1 $a Textbooks in mathematics
500 $a "A Chapman & Hall book."
504 $a Includes bibliographical references and index.
505 0 0 $a Front Cover; Contents; Preface; Introduction; Chapter 1: The Propositional Calculus; Chapter 2: First-Order Logic and Model Theory; Chapter 3: Formal Number Theory; Chapter 4: Axiomatic Set Theory; Chapter 5: Computability; Appendix A: Second-Order Logic; Appendix B: First Steps in Modal Propositional Logic; Appendix C: A Consistency Proof for Formal Number Theory; Answers to Selected Exercises; Bibliography; Notations; Back Cover.
650 0 $a Logic, Symbolic and mathematical. $3 180452
830 0 $a Textbooks in mathematics (Boca Raton, Fla.) $3 490488

筆 0 讀者評論

館藏

1 筆 • 頁數 1 •
1

館藏流通類別

320000702326

西方語文圖書區(四樓)

1圖書

一般圖書

QA9 M537 2015

一般使用(Normal)

在架

0

1 筆 • 頁數 1 •
1

評論

新增評論分享你的心得

Export

取書館別

變更密碼

登入