First Order Mathematical Logic

Main
Mathematics - Logic
First Order Mathematical Logic

First Order Mathematical Logic

Name: First Order Mathematical Logic
ISBN: 9780486662695

Angelo Margaris

0 / 0

0 comments

এই বইটি আপনার কতটা পছন্দ?

ফাইলের মান কিরকম?

মান নির্ণয়ের জন্য বইটি ডাউনলোড করুন

ডাউনলোড করা ফাইলগুলির মান কিরকম?

Well-written undergraduate-level introduction begins with symbolic logic and set theory, followed by presentation of statement calculus and predicate calculus. First-order theories are discussed in some detail, with special emphasis on number theory. After a discussion of truth and models, the completeness theorem is proved. ". . . an excellent text." — Mathematical Reviews. Exercises. Bibliography.

ক্যাটাগোরিগুলো:

Mathematics - Logic

সাল:

1990

ভাষা:

english

পৃষ্ঠা:

222

ISBN 10:

0486662691

ISBN 13:

9780486662695