What people are saying - Write a review
We haven't found any reviews in the usual places.
Steven Buechler and Ludomir Newelski
S Barry Cooper
14 other sections not shown
Other editions - View all
7-degrees algebra algorithm arbitrary assume assumption atomic supertype axiom cardinal complete theory computation constituent construction corresponding countable D. M. GABBAY decidable defined definition degrees denote derivation element elementary embeddings equivalent example exists fact free variables Gentzen-type Hence holds honestification identity implies indecomposable induction hypothesis inference infinite initial clauses initial segment integer irreflexivity isomorphism labels language lawlike left P gap Lemma linear order logic LPCR Math mathematical maximal Me(x minimal modal modal logic model theory modules modus ponens natural numbers notion ordinal p-DF pair partial function Peano arithmetic predicate predicate logic proof propositional prove Q gap quantifiers real closed field realizes recursive recursive set recursor referential intension relation relevance logic representation type result rule satisfied semantics sense sentences structure subset superatomic superatomic model supertype Suppose temporal formula temporal logic Th(M Theorem true truth value winning strategy