國立高雄大學圖資館 |

Language: English

圖資館首頁

Login

Back

Switch To: Labeled | MARC Mode | ISBD

Introduction to mathematical logic /

~

Mendelson, Elliott.

Introduction to mathematical logic /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Introduction to mathematical logic /Elliott Mendelson.
Author:	Mendelson, Elliott.
Published:	Boca Raton :CRC Press/Taylor & Francis Group,c2015.
Description:	xxiv, 489 p. :ill. ;25 cm.
Notes:	"A Chapman & Hall book."
Subject:	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

based on 0 review(s)

Items

1 records • Pages 1 •
1

Inventory Number

No. of reservations

320000702326

西方語文圖書區(四樓)

1圖書

一般圖書

QA9 M537 2015

一般使用(Normal)

On shelf

0

1 records • Pages 1 •
1

Reviews

Add a review and share your thoughts with other readers

Export

pickup library

Change password

Login