 |
|
What people are saying - Write a reviewReview: Mathematical LogicUser Review - Stefko - GoodreadsThis is one of the standard graduate-level texts in mathematical logic. It is amazing how the author covers such a wide variety of topic in less than 400 pages. I find the chapter on set theory the ... Read full review Related books
Contents
8 other sections not shown Other editions - View all
Common terms and phrasesA V B axiom of constructibility axiom system benign calculable Card(x cardinal closed formula conservative extension consistency proof constructible continuum hypothesis corollary countable decision method defining axiom disjunction element elementarily equivalent elementary extension equality axioms equality theorem equivalent explicit definition expression numbers extension by definitions F is defined F is recursive finitary follows function F function or predicate function symbol functions and predicates Hence Higman homomorphism hyperarithmetical identity axioms implies induction hypothesis infinite interpretation introduce isomorphism Lemma means n-ary function n-type natural numbers negation nonlogical axioms nonlogical symbols obtain ordinal partial functional predicate symbol prenex form provable prove Q(xu quantifiers recursive function recursive partial functional recursively enumerable set relation replace result special constants strongly undecidable structure subgroup subset suppose syntactical variables tautological consequence tautology theorem theory transfinite induction truth values unary predicate valid variable-free References to this bookFrom Google ScholarA Framework for Defining LogicsROBERT HARPER, FURIO HONSELL, GORDON PLOTKIN Larch: Languages and Tools for Formal SpecificationSJ Garland, KD Jones, A Modet, JM Wing The Polynomial-time HierarchyLarry J STOCKMEYER Formal Verification for Fault-Tolerant Architectures: Prolegomena ...1995 - IEEE TRANSACTIONS ON SOFTWARE ENGINEERING References from web pagesMathematical logic - Wikipedia, the free encyclopedia 03: Mathematical logic and foundations JSTOR: A Course in Mathematical Logic Mathematical Logic Quarterly Shoenfield is Godel after Krivine LPSG Mathematical Logic "Mathematical Logic" by Joseph R. Shoenfield Syllabuses for msc in Logic 2002-03, Department of Mathematics ... Department of Mathematics, University of Illinois at Urbana-Champaign Springer Online Reference Works Review: Joseph R. Shoenfield, Mathematical Logic Bibliographic information
|
