What people are saying - Write a review
We haven't found any reviews in the usual places.
S HOMER The Isomorphism Conjecture and its Generalization
A nerode Some Lectures on Intuitionistic Logic
R A FLATEK Making Computers Safe for the World An Introduction to Proofs
2 other sections not shown
Other editions - View all
algebra algorithm analysis append arrow atomic statements atomic tableaux calculus of constructions classical logic classical predicate logic clauses Computer Science congruence relation context DECISION node defined definition of forcing domain element entry example finitary finite fixed point flowchart forces tp(c formal formula frame Girard given induction hypothesis Inductive Definitions interpretation intuitionistic logic intuitionistic propositional intuitionistically valid isomorphism conjecture Kripke LEMMA many-one complete mathematics monotone natural numbers NP-complete occurs one-one open branch p-isomorphic padding function partial recursive function partially ordered set polymorphic lambda calculus polymorphic lambda term polymorphic types polynomial many-one polynomial-time predicate logic problem Proceedings programming languages prolog proof theory Prop propositional logic q forces q forces tp r.e. sets recursion theory reduction result rules Scedrov second-order polymorphic lambda semantics sequence Springer LNCS subset Suppose symbols systematic tableaux Theorem untyped lambda verification Xx:A