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

Similar Items

• The higher arithmetic : an introduction to the theory of numbers /
  by: 360946 Davenport, H., et al.
  Published: (2008)
• The higher arithmetic : an introduction to the theory of numbers /
  by: 360946 Davenport, H.
  Published: (1952)
• First course in theory of numbers /
  by: 187080 Wright, Harry Noble
  Published: (1939)
• Higher arithmetic : an algorithmic introduction to number theory /
  by: 393488 Edwards, Harold M.
  Published: (2008)
• A first course in number theory /
  by: 179623 Edgar, Hugh M.
  Published: (1988)