Mathematical Logic

ISBN-10: 0486425339
ISBN-13: 9780486425337
Series: Mathematical Logic
Category: Mathematics
Pages: 398
Language: English
Published: 2002
Publisher: Courier Corporation
Author: Stephen Cole Kleene

Description

Undergraduate students with no prior instruction in mathematical logic will benefit from this multi-part text. Part I offers an elementary but thorough overview of mathematical logic of 1st order. Part II introduces some of the newer ideas and the more profound results of logical research in the 20th century. 1967 edition.

Get the book

Other editions

Mathematical Logic
- 2013-04-22
- 416 pages
- Ebook
- Courier Corporation
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

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 ...