Add to Cart
The item has been added
$420.00
In Stock:
Ships in 3-5 Days
Logic of Mathematics
$420.00
Description
A thorough, accessible, and rigorous presentation of the central theorems of mathematical logic . . . ideal for advanced students of mathematics, computer science, and logic
Logic of Mathematics combines a full-scale introductory course in mathematical logic and model theory with a range of specially selected, more advanced theorems. Using a strict mathematical approach, this is the only book available that contains complete and precise proofs of all of these important theorems:
* Gödel's theorems of completeness and incompleteness
* The independence of Goodstein's theorem from Peano arithmetic
* Tarski's theorem on real closed fields
* Matiyasevich's theorem on diophantine formulas
Logic of Mathematics also features:
* Full coverage of model theoretical topics such as definability, compactness, ultraproducts, realization, and omission of types
* Clear, concise explanations of all key concepts, from Boolean algebras to Skolem-Löwenheim constructions and other topics
* Carefully chosen exercises for each chapter, plus helpful solution hints
At last, here is a refreshingly clear, concise, and mathematically rigorous presentation of the basic concepts of mathematical logic-requiring only a standard familiarity with abstract algebra. Employing a strict mathematical approach that emphasizes relational structures over logical language, this carefully organized text is divided into two parts, which explain the essentials of the subject in specific and straightforward terms.
Part I contains a thorough introduction to mathematical logic and model theory-including a full discussion of terms, formulas, and other fundamentals, plus detailed coverage of relational structures and Boolean algebras, Gödel's completeness theorem, models of Peano arithmetic, and much more.
Part II focuses on a number of advanced theorems that are central to the field, such as Gödel's first and second theorems of incompleteness, the independence proof of Goodstein's theorem from Peano arithmetic, Tarski's theorem on real closed fields, and others. No other text contains complete and precise proofs of all of these theorems.
With a solid and comprehensive program of exercises and selected solution hints, Logic of Mathematics is ideal for classroom use-the perfect textbook for advanced students of mathematics, computer science, and logic.
Logic of Mathematics combines a full-scale introductory course in mathematical logic and model theory with a range of specially selected, more advanced theorems. Using a strict mathematical approach, this is the only book available that contains complete and precise proofs of all of these important theorems:
* Gödel's theorems of completeness and incompleteness
* The independence of Goodstein's theorem from Peano arithmetic
* Tarski's theorem on real closed fields
* Matiyasevich's theorem on diophantine formulas
Logic of Mathematics also features:
* Full coverage of model theoretical topics such as definability, compactness, ultraproducts, realization, and omission of types
* Clear, concise explanations of all key concepts, from Boolean algebras to Skolem-Löwenheim constructions and other topics
* Carefully chosen exercises for each chapter, plus helpful solution hints
At last, here is a refreshingly clear, concise, and mathematically rigorous presentation of the basic concepts of mathematical logic-requiring only a standard familiarity with abstract algebra. Employing a strict mathematical approach that emphasizes relational structures over logical language, this carefully organized text is divided into two parts, which explain the essentials of the subject in specific and straightforward terms.
Part I contains a thorough introduction to mathematical logic and model theory-including a full discussion of terms, formulas, and other fundamentals, plus detailed coverage of relational structures and Boolean algebras, Gödel's completeness theorem, models of Peano arithmetic, and much more.
Part II focuses on a number of advanced theorems that are central to the field, such as Gödel's first and second theorems of incompleteness, the independence proof of Goodstein's theorem from Peano arithmetic, Tarski's theorem on real closed fields, and others. No other text contains complete and precise proofs of all of these theorems.
With a solid and comprehensive program of exercises and selected solution hints, Logic of Mathematics is ideal for classroom use-the perfect textbook for advanced students of mathematics, computer science, and logic.
You May Like
Add to Cart
The item has been added
Mathematical Logic
A comprehensive and user-friendly guide to the use of logic in mathematical reasoning Mathematical Logic presents a comprehensive introduction to formal methods of logic and their use as a reliable...
$248.00
Add to Cart
The item has been added
Add to Cart
The item has been added
-Bibliography of Mathematical Logic
Gert H. Muller The growth of the number of publications in almost all scientific areas, as in the area of (mathematical) logic, is taken as a sign of our scientifically minded culture, but it also...
$122.00
Add to Cart
The item has been added
Add to Cart
The item has been added
The Logic and Utility of Mathematics
This is a reproduction of a book published before 1923. This book may have occasional imperfections such as missing or blurred pages, poor pictures, errant marks, etc. that were either part of the...
$55.00
Add to Cart
The item has been added
Customers Also Viewed
Discover Books for Every Interest at BookLoop
Discover your next great read at BookLoop, Australia's trusted online bookstore offering a vast selection of titles across various genres and interests. Whether you're curious about what's trending or searching for graphic novels that captivate, thrilling crime and mystery fiction, or exhilarating action and adventure stories, our curated collections have something for every reader. Delve into imaginative fantasy worlds or explore the realms of science fiction that challenge the boundaries of reality.
Books on Hobbies, Crafts, Gardening, and More
For those with a green thumb, our comprehensive range of gardening books provides insights and tips for all levels of enthusiasts. If you're aiming to enhance your financial acumen, our selection of finance, business, and management books offers valuable knowledge from industry experts. Craft lovers will appreciate our assortment of handicrafts, decorative arts, and crafts books, perfect for inspiring your next project. Engage your mind with our collection of hobbies, quizzes, and games books, or explore the mystical with our fortune-telling and divination guides.
Transport, Contemporary Fiction, and Picture Books for Kids
Transportation aficionados can immerse themselves in our extensive transportation books, including detailed works on road and motor vehicles. Young readers are not left out, with a delightful array of picture books and early learning concepts designed to educate and entertain. Fans of contemporary narratives will find compelling stories in our contemporary fiction section. Embark on epic journeys with our fantasy and science fiction titles, or gain inspiration from real-life tales in our biographies and true stories collection. Health-conscious readers can explore our health and wholefood cooking books, focusing on specific diets and conditions.
School Books, Teacher Resources, and Academic Textbooks
Textbooks for Primary, Secondary, and Higher Education
BookLoop proudly supports the educational needs of students and schools across Australia. Our textbook collection includes school books and teacher resources for every phase from primary school books, secondary school books, and essential titles for TAFE courses, vocational training, and university study. Each book is selected to align with curriculum outcomes and classroom needs, making it easy for schools and teachers to plan ahead.
Teacher Resources and Classroom Support Materials
From structured lesson planning to engaging student activities, our wide range of school books and teacher resources provides essential tools for educators. You’ll also find dedicated school and preschool teacher materials designed for early years education, classroom support, and intervention. Teachers can access a reliable selection of workbooks, literacy and numeracy programs, assessment tools, and professional development guides all in one place.
Books for Early Learning Centres and Childcare Professionals
Support the earliest stages of education with our curated range of early childhood care and education books. These titles are ideal for early learning centres, preschools, and childcare settings, offering age-appropriate resources that build foundational skills in literacy, numeracy, and emotional development. Families and educators alike trust our resources for quality, clarity, and classroom effectiveness.
Bulk Book Orders for Schools and Educational Institutions
We make bulk school book orders simple and efficient. Schools, libraries, and early learning centres can rely on BookLoop for competitive pricing, fast shipping, and expert support when sourcing large quantities of textbooks and educational materials. Whether you’re restocking for a new term or ordering resources for an entire class, our bulk ordering system ensures convenience and accuracy every step of the way.
Stay Up to Date with Book Trends
Explore our new releases for the most recent additions in romance books, fantasy books, graphic novels, crime and mystery books, science fiction books as well as biographies, cookbooks, self help books, tarot cards, fortunetelling and much more. With titles covering current trends, booktok and bookstagram recommendations, and emerging authors, BookLoop remains your go-to local australian bookstore for buying books online across all book genres.
Explore the Latest and Most Loved Books
Stay updated with the literary world by browsing our trending books, featuring the latest bestsellers and critically acclaimed works. Explore titles from popular brands like Minecraft, Pokemon, Star Wars, Bluey, Lonely Planet, ABIA award winners, Peppa Pig, and our specialised collection of ADHD books. At BookLoop, we are committed to providing a diverse and enriching reading experience for all.