Mathematical Logic: A First Course

ISBN-10: 048645018X
ISBN-13: 9780486450186
Series: Mathematical Logic
Category: Mathematics
Pages: 212
Language: English
Published: 2006-07-07
Publisher: Courier Dover Publications
Author: Joel W. Robbin

Description

This self-contained text will appeal to readers from diverse fields and varying backgrounds. Topics include 1st-order recursive arithmetic, 1st- and 2nd-order logic, and the arithmetization of syntax. Numerous exercises; some solutions. 1969 edition.

Get the book

Other editions

Mathematical Logic: Exercises and Solutions
- 2022-06-06
- 319 pages
- Paperback
- Springer
Mathematical Logic
- 2021-05-28
- 304 pages
- Ebook
- Springer Nature
Mathematical Logic: On Numbers, Sets, Structures, and Symmetry
- 2018-10-03
- 186 pages
- Ebook
- Springer
Mathematical Logic
- 2018-05-02
- 281 pages
- Paperback
- CRC Press

Similar books

Integral Geometry and Tomography: Proceedings of the AMS-IMS-SIAM Joint Summer Research Conference, Held June 24-30, 1989, with Support from the...
By Eric Grinberg, Eric Todd Quinto
In Section 2 we will deal with the “discrete” case. Let S be a locally finite tree T endowed with the natural integer-valued distance function: the ...
Ordinary Differential Equations and Linear Algebra: A Systems Approach
By Todd Kapitula
... for in this case [yp](s)=s[yp](s), [yp](s)=s2[yp](s). As we will see in the examples, this assumption also makes it possible to deal with the initial ...
Cognition and Intractability: A Guide to Classical and Parameterized Complexity Analysis
By Iris van Rooij, Mark Blokpoel, Johan Kwisthout
x,y∈S δ(x,y) is maximum. u(x) + ADDITIVE SUBSET CHOICE Input: A set X = {x1 ,x2 ... F Tractability cycle Test 8.2 How (Not) to Deal with Intractability 173.
Mymathlab -- Standalone Access Card
By Pearson Education, David P Pearson Education, Hall H Pearson Education
Several versions of Pearson's MyLab & Mastering products exist for each title, including customized versions for individual schools, and registrations are not transferable.
Mymathlab Student Acc Kit + Intro Alg Wrkshts
By Inc. Pearson Education
Mymathlab Student Acc Kit + Intro Alg Wrkshts
Pearson Mathematics 7: H.P
By Pearson Education Australia Staff
Pearson Mathematics homework program for Year 7 provides tear-out sheets which correspond with student book sections, providing systematic and cumulative skills revision of basic skills and current class topics in the form of take-home ...
Worksheets for Classroom Or Lab Practice for Intermediate Algebra: Graphs & Models
By Addison-Wesley
Worksheets for Classroom Or Lab Practice for Intermediate Algebra: Graphs & Models
Pearson Mathematics New South Wales 8 Student Book: Australian Curriculum
By Pearson Education Australia Staff, Gael McLeod, David Coffey
The Student Book provides an easy-to-use 'nuts and bolts' book at each year level.
Matrix Iterative Analysis
By Richard S. Varga
... partial differential equations have received a great deal of attention. For excellent bibliographical coverage, see Todd (1956), Richtmyer (1957), ...
Mathematical Modelling: Education, Engineering and Economics - ICTMA 12
By C Haines, P Galbraith, W Blum
Todd, P. A., McKeen, .l. ... ANALYTICAL SUPPORT PROBLEM SOLVING Cognitive Perspectives on Modelling HOW DO STUDENTS AND TEACHERS DEAL Sodhi and Son 219 NOTE ...