Mathematical Logic (Dover Books on Mathematics)

Mathematical Logic (Dover Books on Mathematics), 9780486425337 (0486425339), Dover Publications, 2002

After the appearance in 1952 of my "Introduction to Metamathematics", written for students at the first-year graduate level, I had no expectation of writing another text. But various occasions arose which required me to think about how to present parts of the same material more briefly, to a more general audience, or to students at an earlier educational level.* These newer expositions were received well enough that 1 was persuaded to prepare the present book for undergraduate students in the Junior year. In "Introduction to Metamathematics", the study of mathematical logic begins properly only in Chapter V (with some definitions in Chapter IV). Graduate students in mathematics can cover rapidly the introductory material which precedes it there. But for less advanced students or in shorter courses, too much time would be used by such a thorough intro- duction. I am now convinced that it is also sound pedagogically and scientifically to start doing logic (correctly) right from the beginning, even if not all the reasons for doing it nor all the criteria governing how it is done have been enumerated in advance. The rest of the "introduction" can come later.

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.

Comments

Amazing Books

Intel Xeon Phi Coprocessor High Performance Programming

Morgan Kaufmann, 2013

Authors Jim Jeffers and James Reinders spent two years helping educate customers about the prototype and pre-production hardware before Intel introduced the first Intel Xeon Phi coprocessor. They have distilled their own experiences coupled with insights from many expert customers, Intel Field Engineers, Application Engineers and Technical...

JBoss: A Developer's Notebook

O'Reilly, 2005

There's nothing ordinary about JBoss. What began as an open source EJB container project six years ago has become a fully certified J2EE 1.4 application server with the largest market share, competitive with proprietary Java application servers in features and quality. And with its dynamic architecture, JBoss isn't just a J2EE...

Microfinance, Risk-taking Behaviour and Rural Livelihood

Springer, 2013

Nearly 60 % of India’s mammoth 1.2 billion population lives in rural areas. Unfortunately, India’s rural population contributes only 8 % of the gross domestic product. India’s formal financial services sector is yet to meet the growing need of the rural population. The testimony is India’s booming informal...

Electric Power Transformer Engineering (The Electric Power Engineering Series, 9)

CRC Press, 2003

Transformer engineering is one of the earliest sciences within the field of electric power engineering, and power is the earliest discipline within the field of electrical engineering. To some, this means that transformer technology is a fully mature and staid industry, with little opportunity for innovation or ingenuity by those practicing...

Creative Evolutionary Systems (With CD-ROM)

Morgan Kaufmann, 2001

This volume shows the current state of the art, and the science, of evolutionary creativity. It shows what can--and equally important, what can't--be done at the turn of the new millennium. What will have been achieved by the turn of the next one is anyone's guess. Meanwhile, it's intriguing, it's instructive, it's difficult, and it's fun!...

Introduction to Project Finance (Essential Capital Markets)

Butterworth-Heinemann, 2005

The term "project finance" is now being used in almost every language in every part of the world. It is the solution to infrastructure, public and private venture capital needs. It has been successfully used in the past to raise trillions of dollars of capital and promises to continue to be one of the major financing techniques for...