A completeness theorem and a computer program for finding theorems derivable from given axioms

Author(s)

Bibliographic Information

A completeness theorem and a computer program for finding theorems derivable from given axioms

by Char-tung Lee

U.M.I.(University Microfilms International) dissertation information service, 1967?

Available at  / 3 libraries

Search this Book/Journal

Note

Includes bibliographical references (p. 52-54)

Facsim. reprint of the author's thesis(Ph. D)-Univ. of California, Berkeley, 1967

"UMI no.6810359"

Details

  • NCID
    BA26355129
  • Country Code
    us
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    Ann Arbor, Mich
  • Pages/Volumes
    iii, 54 p.
  • Size
    20 cm
Page Top