Showing 1 - 4 results of 4 for search 'MARIA FERNANDA PALLARES COLOMAR', query time: 0.05s Refine Results
  1. 1
    [en] MULTIPLE SUCCEDENT SEQUENT CALCULUS FOR INTUITIONISTIC FIRST-ORDER LOGIC
    Get full text
    Get full text
    Get full text
  2. 2
    APPLICATIONS OF THE FIRST CONSISTENCY PROOF PRESENTED BY GENTZEN FOR PEANO ARITHMETIC
    Get full text
    Get full text
  3. 3
    [en] APPLICATIONS OF THE FIRST CONSISTENCY PROOF PRESENTED BY GENTZEN FOR PEANO ARITHMETIC
    Get full text
    Get full text
    Get full text
  4. 4
    MULTIPLE SUCCEDENT SEQUENT CALCULUS FOR INTUITIONISTIC FIRST-ORDER LOGIC
    Get full text
    Get full text
Search Tools: Get RSS Feed — Email this Search