A note on deduction theorem for Gödel's propositional calculus G4

Publisher Website
Google Scholar
Abstract
No abstract available

This publication has 2 references indexed in Scilit:

  • Masthead
    Mathematical Logic Quarterly, 1964
  • Formal Logic
    Published by Oxford University Press (OUP) ,1963