Skip Nav
  • Books
  • Resources
  • About
  • Ideas

Theory of Formal Systems. (AM-47), Volume 47

  • Raymond M. Smullyan
    Series:
  • Annals of Mathematics Studies

Paperback

ISBN:
Published:
Mar 2, 2016
Copyright:
1961

ebook

ISBN:
Published:
Mar 2, 2016
Copyright:
1961
Buy This
  • Download Cover
  • Overview

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.

Stay connected for the latest books, Ideas, and special offers.

Stay connected for the latest book news.

Top

United States

41 William Street
Princeton, New Jersey 08540
United States

Phone: +1 609 258 4900
Directions

Europe

6 Oxford Street, Woodstock
Oxfordshire, OX20 1TR
United Kingdom

Phone: +44 1993 814500
Directions

China

Princeton Asia (Beijing) Consulting Co., Ltd.
Unit 2702, NUO Centre
2A Jiangtai Road, Chaoyang District
Beijing 100016, P.R. China

Phone: +86 10 8457 8802
Directions

Browse

  • Books
  • Resources
  • Ideas
  • About
  • Authors

Contact

  • Contact Us
  • Careers
  • Exam & Desk Copies
  • Review Copies
  • Rights & Permissions

Follow

  • Twitter
  • Instagram
  • Facebook
  • LinkedIn
  • YouTube
  • Vimeo
  • WeChat
© 2021 Princeton University Press.  All Rights Reserved Privacy Policy
Site by AREA 17 Colophon

Use discount code TIME to enjoy 30% off our April Book Club Pick – Timefulness by Marcia Bjornerud.

    • All Books
    • Textbooks
    • Audiobooks
    • Collected Works
    • Collections
    • Series
    • Catalogs
    • Common Reading
    • Distributed Presses
  • Resources
    • Overview
    • Offices
    • People
    • Authors
    • History
    • Partnerships
    • News
    • Awards
    • Events
    • Careers
    • Contact Us
  • Ideas