Algebraic introduction to mathematical logic

✍ Scribed by Barnes, D. W

Publisher: Springer-Verlag New York
Year: 2013
Tongue: English
Leaves: 129
Category: Library

No coin nor oath required. For personal study only.

✦ Table of Contents

I Universal Algebra.- II Propositional Calculus.- III Properties of the Propositional Calculus.- IV Predicate Calculus.- V First-Order Mathematics.- VI Zermelo-Fraenkel Set Theory.- VII Ultraproducts.- VIII Non-Standard Models.- IX Turing Machines and Goedel Numbers.- X Hilbert's Tenth Problem, Word Problems.- References and Further Reading.- Index of Notations.

📜 SIMILAR VOLUMES

An Algebraic Introduction to Mathematica

📁 An Algebraic Introduction to Mathematical Logic

✍ D.W. Barnes, J.M. Mack 📂 Library 📅 1975 🏛 Springer 🌐 English

An Algebraic Introduction to Mathematica

📁 An Algebraic Introduction to Mathematical Logic

✍ Donald W. Barnes, John M. Mack (auth.) 📂 Library 📅 1975 🏛 Springer-Verlag New York 🌐 English

An Algebraic Introduction to Mathematica

📁 An Algebraic Introduction to Mathematical Logic

✍ Donald W. Barnes and John M. Mack 📂 Library 📅 1975 🏛 Springer 🌐 English

This book is intended for mathematicians. Our treatment of mathematical logic is algebraic. Although we assurne a reasonable level of sophistication in algebra, the text requires little more than the basic notions of group, ring, module, etc. This book is intended to make mathematica llogic availabl

Introduction to Mathematical Logic

📁 Introduction to Mathematical Logic

✍ Elliott Mendelson 📂 Library 📅 1979 🏛 Book World Promotions 🌐 English

Late in August, the text originally selected for my mathematical logic class became unavailable. On the basis of reviews only, I chose Mendelson's Introduction to Mathematical Logic as the replacement. A disasterous choice. There may be a page without a typo, but I don't expect to find it. The prese

Introduction to Mathematical Logic

📁 Introduction to Mathematical Logic

✍ Alonzo Church 📂 Library 📅 1956 🏛 Princeton University Press 🌐 English

Introduction to Mathematical Logic

📁 Introduction to Mathematical Logic

✍ Dr. Hans Hermes (auth.) 📂 Library 📅 1973 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

<p>This book grew out of lectures. It is intended as an introduction to classical two-valued predicate logic. The restriction to classical logic is not meant to imply that this logic is intrinsically better than other, non-classical logics; however, classical logic is a good introduction to logic be