Tableau Systems for First Order Number Theory and Certain Higher Order Theories

Tableau Systems for First Order Number Theory and Certain Higher Order Theories

Available
0
StarStarStarStarStar
0Reviews
Toledo, S.A.Toledo, S.A.
E-book
pdf
Price
26.99 £
Follow the Author

Options

  • Formats: pdf
  • ISBN: 9783540374428
  • Publication Date: 15 Nov 2006
  • Publisher: Springer Berlin Heidelberg
  • Product language: English
  • Drm Setting: DRM