 |
|
What people are saying - Write a reviewUser Review - Flag as inappropriate 下载地址： http://depositfiles.com/files/3221413 http://www.paid4share.com/file/3028/0521572231-rar.html Related books
Contents
Common terms and phrasesA V B application arithmetic assume assumption classes atomic formulas classical logic clause closure coherence theorem conclusion construction contains contraction conversions corresponding cut elimination cutformula cutrank defined DEFINITION depth E-rule equivalent example finite first-order formula occurrence function symbols Gentzen systems graph hence Hilbert systems hn F induction hypothesis induction step instance interpolation intuitionistic logic inversion lemma labelled language last rule linear logic major premise modal logics multiset N-systems natural deduction normal deduction normal derivation notation notion obtained open assumptions permutation Prawitz predicate logic primitive recursive primitive recursive functions principal formula proof theory prooftree propositional variable provable prove quantifier-free quantifiers redex relation symbol replacing result schema second-order second-order logic semantical sequent calculus sequent F strong normalization Subcase subdeduction subformula substitution succedent theorem tion transfinite induction transformed tree Troelstra weakening References to this bookFrom other books
From Google ScholarA System of Interaction and StructureALESSIO GUGLIELMI - ACM Transactions on Computational Logic Deep Inference and Symmetry in Classical ProofsDipl-Inf Kai Brunnler, Dale Miller, INRIA Futurs undEcole Polytechnique Higher Type Recursion, Ramification and Polynomial TimeS Bellantoni, K-H Niggl, H Schwichtenberg Denotational Proof LanguagesKostas Arkoudas References from web pagesJSTOR: Basic Proof Theory Review: as Troelstra, H. Schwichtenberg, Basic Proof Theory ingentaconnect Basic Proof Theory, as Troelstra and H. Schwichtenberg Basic Proof Theory, as Troelstra and H. Schwichtenberg Basic Proof Theory INDEX OF THE TROELSTRA NACHLASS Zentralblatt MATH Database 1931 – 2008 0868.03024 Powell's Books - Cambridge Tracts in Theoretical Computer Science ... Mathematical Proof Theory in the Light of Ordinal Analysis Annual Report Computational Logic Bibliographic information
|
