Science & Math | Mathematics
A Beginner's Further Guide to Mathematical Logic
by Raymond M Smullyan 2020-05-04 22:36:55
image1
COMPARE PRICE
This book is a sequel to my Beginner''s Guide to Mathematical Logic.The previous volume deals with elements of propositional and first-order logic, contains a bit on formal systems and recursion, and concludes with chapters on Gödel''s famous ... Read more
This book is a sequel to my Beginner''s Guide to Mathematical Logic.The previous volume deals with elements of propositional and first-order logic, contains a bit on formal systems and recursion, and concludes with chapters on Gödel''s famous incompleteness theorem, along with related results.The present volume begins with a bit more on propositional and first-order logic, followed by what I would call a ''fein'' chapter, which simultaneously generalizes some results from recursion theory, first-order arithmetic systems, and what I dub a ''decision machine.'' Then come five chapters on formal systems, recursion theory and metamathematical applications in a general setting. The concluding five chapters are on the beautiful subject of combinatory logic, which is not only intriguing in its own right, but has important applications to computer science. Argonne National Laboratory is especially involved in these applications, and I am proud to say that its members have found use for some of my results in combinatory logic.This book does not cover such important subjects as set theory, model theory, proof theory, and modern developments in recursion theory, but the reader, after studying this volume, will be amply prepared for the study of these more advanced topics. Less
  • File size
  • Print pages
  • Publisher
  • Publication date
  • Language
  • ISBN
  • 9x5.9x0.6inches
  • 288
  • World Scientific Publishing Company
  • May 1, 2017
  • English
  • 9789814725729
autor-image
Raymond M. Smullyan
Author
Raymond Smullyan, well-known mathematician and logician, is Oscar Ewing Professor of Philosophy Emeritus at Indiana University and Professor Emeritus at the City University of New York—Lehman Co...
Compare Prices
image
Paperback
Buy CAD 33.50
image
PDF (encrypted)
Buy AUD 24.51
image
Paperback
Buy USD 24.0
image
Buy USD 18.57
Available Discount
12 % OFF
12% off Academic Book Titles (ebooks.com)
Show Coupon Code

See More Details

Description: Back to School Promotion at eBooks.com. 12% off Academic book titles. Landing page is on our academics category page. Static image.

10 % OFF
Save 10% OFF on Student Text Books (ebooks.com)
Show Coupon Code

See More Details

Description: Purchase textbooks at student discounts!

20 % OFF
20% Off on selected Categories
Show Coupon Code

See More Details

Description: 20% Off these Categories- Body Mind & Spirit, Family & Relationships, Foreign Language Study, History, Sports & Recreation. Offer Lasts all through January.

Related Books
view all
image1
Bayesian Inference for Stochastic Processes:
image1
Orthogonal Polynomials and Painlevé Equations:
image1
Intermediate Algebra & Analytic Geometry:
image1
Set Theory An Introduction To Independence Proofs:
image1
Time Series Analysis with Long Memory in View:
image1
Trigonometry Essentials Practice Workbook with Answers:
image1
The King of Infinite Space : Euclid and His Elements:
image1
College Algebra:
image1
Applied Linear Algebra:
image1
Probability:
image1
Introduction to Lie Groups and Lie Algebra, 51:
image1
The philosophy of mathematics:
image1
How to Think Like a Mathematician:
image1
Topics in Computational Number Theory Inspired by Peter L. Montgomery:
image1
Mathematical Modeling and Applied Calculus:
image1
Introduction to Mathematical Philosophy:
image1
A Treatise on Probability:
image1
Analyzing Longitudinal Clinical Trial Data:
image1
99 Variations on a Proof:
image1
Solving Problems in Geometry:
image1
Deductive Logic:
image1
Solutions Manual to accompany Fundamentals of Matrix Analysis with Applications:
image1
College Placement Math Success in 20 Minutes a Day:
image1
An Introduction to Generalized Linear Models:
image1
The Earliest Arithmetics in English:

Stay in touch.

© 2024 AMPLE READS