Mathematical Logic

A First Course

By: JOEL W. ROBBIN

Write A Review

Paperback | 7 July 2006

At a Glance

Paperback
238 Pages

Dimensions(cm)
20.9 x 13.6 x 1.91

Paperback

RRP $23.05

$22.99

or 4 interest-free payments of $5.75 with

Ships in 5 to 7 business days

Suitable for advanced undergraduates and graduate students, this self-contained text will appeal to readers from diverse fields and varying backgrounds — including mathematics, philosophy, linguistics, computer science, and engineering. It features numerous exercises of varying levels of difficulty, many with solutions.
A survey of the propositional calculus is followed by chapters on first-order logic and first-order recursive arithmetic. An examination of the arithmetization of syntax follows, along with a review of the incompleteness theorems and other applications of the Liar Paradox. The text concludes with a study of second-order logic and an appendix on set theory that will prove valuable to students with little or no mathematical background.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

More in Mathematics

Nelson Senior Maths 11 Mathematics Essential Student Book with 1 Access Code for the Australian Curriculum

Multi-Item Pack

RRP $87.95

$80.75

The Infinite Game

From the bestselling author of Start With Why

Paperback

RRP $29.99

$24.99

17%
OFF

The Art of Gathering

How We Meet and Why It Matters

Paperback

RRP $26.99

$22.99

15%
OFF

The Maths Book

Big Ideas Simply Explained

Hardcover

RRP $42.99

$32.75

24%
OFF

Humble Pi : A Comedy of Maths Errors - Matt Parker

$35.75

21%
OFF

Maths in Focus 11 Mathematics Standard (Pathway 2) Student Book with Nelson MindTap - Klaas Bootsma

$85.75

The Score : How to Stop Playing Someone Elseâs Game - C. Thi Nguyen

$42.99

28%
OFF

The Selfish Gene

40th Anniversary Edition

Paperback

RRP $32.95

$26.99

18%
OFF

Maths in Focus 11 Mathematics Advanced Student Book with Nelson MindTap - Margaret Grove

$40.75

22%
OFF

Fooled By Randomness

The Hidden Role of Chance in Life and in the Markets

Paperback

RRP $26.99

$22.99

15%
OFF

Grade 4 Geometry and Measurement

Kumon Math Workbooks

Paperback

RRP $16.99

$13.75

19%
OFF

Grade 3 Geometry and Measurement

Paperback

RRP $16.99

$13.75

19%
OFF

Antifragile

Things That Gain from Disorder

Paperback

RRP $27.99

$23.75

15%
OFF

Nelson Senior Maths 12 Mathematics Essential Student Book + 1 Code Access Card for Western Australia and Australian Curriculum

Multi-Item Pack

RRP $87.95

$80.75

$Math Games with Bad Drawings : 75 1/4 Simple, Challenging, Go-Anywhere Games & And Why They Matter - Ben Orlin$

$41.75

24%
OFF

Grade 4 Word Problems

Kumon Math Workbooks

Paperback

RRP $16.99

$13.75

19%
OFF

Preface	p. v
Note to the Student	p. xi
The Propositional Calculus	p. 1
Formation Rules for P	p. 4
Formal Semantics of P	p. 8
Axiomatization of P	p. 14
The Deduction Theorem	p. 16
Some Theorem Schemas of P	p. 20
Completeness	p. 22
First-Order Logic	p. 32
Formation Rules for L([characters not reproducible], X)	p. 34
Free and Bound Variables	p. 37
Models	p. 38
Validity	p. 41
Axiomatization of L([characters not reproducible], X)	p. 43
Propositional Calculus	p. 44
The Deduction Theorem	p. 45
Some Theorems of First-Order Logic	p. 48
The Soundness Theorem	p. 50
The Extension Lemma	p. 52
The Completeness Theorem	p. 54
First-Order Logic with Equality	p. 56
First-Order Recursive Arithmetic	p. 66
Primitive Recursive Functions	p. 66
Some Primitive Recursive Functions	p. 69
Formation Rules for RA	p. 72
Semantics	p. 76
Axiomatics	p. 78
Soundness	p. 80
Sentences without Variables	p. 81
Arithmetization of Syntax	p. 90
Finite Sums and Products	p. 90
Primitive Recursive Relations	p. 91
Definition by Cases and the Least Number Operator	p. 94
Prime Numbers	p. 96
Primitive Recursiveness of the Prime Decomposition	p. 99
Godel Numbers	p. 100
Primitive Recursiveness of the Notion of Function Constant	p. 103
Primitive Recursiveness of the Notion of Term	p. 105
Primitive Recursiveness of the Notion of Wff	p. 106
Substitution	p. 107
Deductions	p. 109
The Incompleteness Theorems and Other Applications of the Liar Paradox	p. 111
The First Godel Incompleteness Theorem	p. 112
Proof of the First Godel Theorem in RA	p. 116
The Second Godel Incompleteness Theorem	p. 117
Tarski's Theorem	p. 119
Arithmetical Sets	p. 121
Recursive Sets and Decision Procedures	p. 122
Church's Theorem for RA	p. 126
Second-Order Logic	p. 132
Formation Rules for L[subscript 2]([characters not reproducible], X)	p. 133
Axiomatics for L[subscript 2]([characters not reproducible], X)	p. 134
Semantics of Second-Order Logic	p. 137
The Completeness Theorem for Second-Order Logic	p. 140
Equality	p. 142
Second-Order Peano Arithmetic	p. 145
Primitive Recursive Functions	p. 148
Numeralwise Representability	p. 153
Godel's Theorem for PA[subscript 2]	p. 156
Church's Theorem for Second-Order Logic	p. 158
Categoricity of PA[subscript 2]	p. 161
Skolem's Paradox	p. 164
Formal Set Theory	p. 166
Appendix	p. 171
Sets and Functions	p. 171
Induction	p. 175
Primitive Recursion	p. 178
Countable Sets	p. 180
Answers to Selected Exercises	p. 183
Suggested Reading	p. 199
Index of Symbols	p. 203
Index	p. 209
Table of Contents provided by Ingram. All Rights Reserved.

Mathematical Logic

A First Course

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Mathematics

Nelson Senior Maths 11 Mathematics Essential Student Book with 1 Access Code for the Australian Curriculum

The Infinite Game

From the bestselling author of Start With Why

The Art of Gathering

How We Meet and Why It Matters

The Maths Book

Big Ideas Simply Explained

Humble Pi

A Comedy of Maths Errors

Oxford Maths for Australian Schools Year 4 Value Pack

3rd Edition

Oxford Maths for Australian Schools Year 6 Value Pack

3rd Edition

How to Win At Chess

The Ultimate Guide for Beginners and Beyond

Maths in Focus 11 Mathematics Standard (Pathway 2) Student Book with Nelson MindTap

Nelson WAmaths Mathematics Applications 12

1st Edition

The Score

How to Stop Playing Someone Elseâs Game

Algebra Workbook Grades 6-8

Algebra

The Golden Ratio

Divine Beauty of Mathematics

The Selfish Gene

40th Anniversary Edition

Maths in Focus 11 Mathematics Advanced Student Book with Nelson MindTap

The Mending of Broken Bones

A Modern Guide to Classical Algebra

Fooled By Randomness

The Hidden Role of Chance in Life and in the Markets

Grade 4 Geometry and Measurement

Kumon Math Workbooks

Grade 3 Geometry and Measurement

Antifragile

Things That Gain from Disorder

Nelson Senior Maths 12 Mathematics Essential Student Book + 1 Code Access Card for Western Australia and Australian Curriculum

Math Games with Bad Drawings

75 1/4 Simple, Challenging, Go-Anywhere Games & And Why They Matter

The Art of Uncertainty

How to Navigate Chance, Ignorance, Risk and Luck

Grade 4 Word Problems

Kumon Math Workbooks

This product is categorised by