Publication

1999 - Kluwer Academic, Dordrecht, Netherlands

Language

English

Word Count

97,750 words, Guess

Page Count

391 pages

Identifiers

Classifications

  • DDC511.3/5
  • LCCQA9.615 .M8713 1999

Subjects

Series Statement

  • Synthese library -- v. 286

Other Editions

  • Recursive functions and metamathematicsKluwer Academic1999

Similar Books

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!