Mathematical Logic A First Course

ISBN-10: 048645018X

ISBN-13: 9780486450186

Edition: 2006

Authors: Joel W. Robbin

List price: $14.95 Buy it from $3.01
30 day, 100% satisfaction guarantee

If an item you ordered from TextbookRush does not meet your expectations due to an error on our part, simply fill out a return request and then return it by mail within 30 days of ordering it for a full refund of item cost.

Learn more about our returns policy


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. Topics include 1st-order recursive arithmetic, 1st- and 2nd-order logic, and the arithmetization of syntax. Numerous exercises; some solutions. 1969 edition.
New Starting from $13.52
what's this?
Rush Rewards U
Members Receive:
You have reached 400 XP and carrot coins. That is the daily max!
Study Briefs

Limited time offer: Get the first one free! (?)

All the information you need in one place! Each Study Brief is a summary of one specific subject; facts, figures, and explanations to help you learn faster.

Add to cart
Study Briefs
Calculus 1 Online content $4.95 $1.99
Add to cart
Study Briefs
Algebra Online content $4.95 $1.99
Add to cart
Study Briefs
Introduction to Logic Online content $4.95 $1.99
Add to cart
Study Briefs
Business Math Formulas Online content $4.95 $1.99
Customers also bought

Book details

List price: $14.95
Copyright year: 2006
Publisher: Dover Publications, Incorporated
Publication date: 7/7/2006
Binding: Paperback
Pages: 224
Size: 5.25" wide x 8.50" long x 0.75" tall
Weight: 0.550
Language: English

Note to the Student
The Propositional Calculus
Formation Rules for P
Formal Semantics of P
Axiomatization of P
The Deduction Theorem
Some Theorem Schemas of P
First-Order Logic
Formation Rules for L([characters not reproducible], X)
Free and Bound Variables
Axiomatization of L([characters not reproducible], X)
Propositional Calculus
The Deduction Theorem
Some Theorems of First-Order Logic
The Soundness Theorem
The Extension Lemma
The Completeness Theorem
First-Order Logic with Equality
First-Order Recursive Arithmetic
Primitive Recursive Functions
Some Primitive Recursive Functions
Formation Rules for RA
Sentences without Variables
Arithmetization of Syntax
Finite Sums and Products
Primitive Recursive Relations
Definition by Cases and the Least Number Operator
Prime Numbers
Primitive Recursiveness of the Prime Decomposition
Godel Numbers
Primitive Recursiveness of the Notion of Function Constant
Primitive Recursiveness of the Notion of Term
Primitive Recursiveness of the Notion of Wff
The Incompleteness Theorems and Other Applications of the Liar Paradox
The First Godel Incompleteness Theorem
Proof of the First Godel Theorem in RA
The Second Godel Incompleteness Theorem
Tarski's Theorem
Arithmetical Sets
Recursive Sets and Decision Procedures
Church's Theorem for RA
Second-Order Logic
Formation Rules for L[subscript 2]([characters not reproducible], X)
Axiomatics for L[subscript 2]([characters not reproducible], X)
Semantics of Second-Order Logic
The Completeness Theorem for Second-Order Logic
Second-Order Peano Arithmetic
Primitive Recursive Functions
Numeralwise Representability
Godel's Theorem for PA[subscript 2]
Church's Theorem for Second-Order Logic
Categoricity of PA[subscript 2]
Skolem's Paradox
Formal Set Theory
Sets and Functions
Primitive Recursion
Countable Sets
Answers to Selected Exercises
Suggested Reading
Index of Symbols
Free shipping on orders over $35*

*A minimum purchase of $35 is required. Shipping is provided via FedEx SmartPost® and FedEx Express Saver®. Average delivery time is 1 – 5 business days, but is not guaranteed in that timeframe. Also allow 1 - 2 days for processing. Free shipping is eligible only in the continental United States and excludes Hawaii, Alaska and Puerto Rico. FedEx service marks used by permission."Marketplace" orders are not eligible for free or discounted shipping.

Learn more about the TextbookRush Marketplace.