Theory of Formal Systems. (AM-47), Volume 47
by Raymond M. Smullyan 2020-12-29 11:01:28
image1

This book serves both as a completely self-contained introduction and as an exposition of new results in the field of recursive function theory and its application to formal systems.

This book serves both as a completely self-contained introduction and as an exposition of new results in the field of recursive function theory and its application to formal systems.

Less
  • Publication date
  • Language
  • ISBN
  • March 2, 2016
  • eng
  • 9781400882007
Raymond Smullyan, well-known mathematician and logician, is Oscar Ewing Professor of Philosophy Emeritus at Indiana University and Professor Emeritus at the City University of New York—Lehman Co...
Compare Prices
image
PDF (encrypted)
Available Discount
No Discount available
Related Books