What people are saying - Write a review
Review: Mathematical LogicUser Review - Joecolelife - Goodreads
The formal mathematics is organized and presented so clearly and precisely that I felt I was admiring a fine crystal structure. The notation used may seem excessive to some, but it actually is the ... Read full review
Other editions - View all
Algebra algorithm alphabet applied arbitrary assignment axiom system binary relation Chapter clauses Compactness Theorem consistent set countable decidable define definition derivable disjunction dom(p domain elementarily equivalent elementary elements enumerable equality-free example Exercise finite subset first-order language first-order logic first-order sentence following holds formal function symbol given Godel H-derivation hence Herbrand structure Horn sentences induction hypothesis infinite logical system logically equivalent Lowenheim-Skolem Theorem mathematical n-ary natural numbers nonempty notion obtain ordered field partial isomorphism prenex normal form procedure proof propositional logic propositional variables prove quantifier quantifier-free R-decidable R-enumerable real numbers rules S-formula S-sentence S-structures 21 S-terms satisfiable second-order second-order logic sequent calculus set of formulas set of sentences set theory strings Suppose symbol set syntactic interpretation system of axioms unary relation symbol uncountable universal Horn formulas
From Google Scholar
FRANK NEVEN, JAN VAN DEN BUSSCHE - 2002 - Journal of the ACM
Rolf Backofen, James Rogers, K Vijay-Shanker - 1995 - Journal of Logic, Language and Information
All Scholar search results »
Dora Giammarresi, Sebastian Seibert, Antonio Restivo, Wolfgang Thomas
Structure (mathematical logic) - Wikipedia, the free encyclopedia
Ebbinghaus, Flum, Thomas. Mathematical Logic.
JSTOR: Mathematical Logic
Ebbinghaus H.-D., Flum J., Thomas W. Mathematical logic (ISBN 0 ...
Basic Library List-Foundations and Mathematical Logic
CIDEC Library: Ebbinghaus * Mathematical Logic
MATHEMATICAL STRUCTURES RESEARCH
FINITE MODEL THEORY (Perspectives in Mathematical Logic) By Heinz ...
Abstract Math: Mathematical Reasoning
18.511: Mathematical Logic