On the complexity of derivation in propositional calculus

Journal

  • Studies in Constructive Mathematics and Mathematical Logic

    Studies in Constructive Mathematics and Mathematical Logic, 115-125, 1968

Cited by:  1

Codes

  • NII Article ID (NAID)
    10025003710
  • Article Type
    Part of a Book
  • Data Source
    CJPref 
Page Top