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

Web Site CiNii Available at 78 libraries

Bibliographic Information

Title
"Tableau systems for first order number theory and certain higher order theories"
Statement of Responsibility
Sue Toledo
Publisher
  • Springer-Verlag
Publication Year
  • 1975
Book size
25 cm
Series Name / No
  • : Germany
  • : U.S.

Search this Book/Journal

Notes

Bibliography: p. [335]-339

Related Books

See more

Details 詳細情報について

Back to top