Logic Colloquium '90: ASL Summer Meeting in Helsinski
This volume is the Proceedings of Logic Colloquium 90 held in Helsinki, Finland, from July 15 to July 22, 1990. The congress belongs to the annual series of the European Summer Meetings of the Association for Symbolic Logic. These proceedings contain 13 research papers written mainly by the invited speakers of the congress. They represent all fields of mathematical logic from the philosophy of mathematics through model theory, proof theory, recursion theory and set theory, to connections of logic to computer science.
14 pages matching computation in this book
Results 1-3 of 14
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
7-degrees algebra algorithm arbitrary assume assumption atomic supertype axiom cardinal CK(a complete theory computation constituent construction corresponding countable D. M. GABBAY decidable defined definition degrees denote derivation element elementary embeddings equivalent example exists express 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 ordering literals logic LPCR Math Mathematics maximal Me(x minimal modal modal logic model theory modules modus ponens natural numbers negative notion p-DF pair partial function Peano arithmetic predicate predicate logic proof propositional prove Q gap quantifiers rank real closed field realizes recursive set recursor referential intension relation relevance logic representation type result rule satisfied semantics sense sentences structure subset superatomic supertype Suppose temporal formula temporal logic Th(M Theorem true truth value winning strategy