Tableau systems for first order number theory and certain higher order theories

Bibliographic Information

Tableau systems for first order number theory and certain higher order theories

Sue Toledo

(Lecture notes in mathematics, 447)

Springer-Verlag, 1975

  • : Germany
  • : U.S.

Available at  / 78 libraries

Search this Book/Journal

Note

Bibliography: p. [335]-339

Related Books: 1-1 of 1

Details

Page Top