Theory of Formal Systems

, #47

Paperback, 156 pages

English language

Published by Princeton University Press.

ISBN:
978-0-691-08047-5
Copied ISBN!

View on OpenLibrary

No rating (0 reviews)

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.

3 editions

Subjects

  • Mathematical logic
  • Mathematics
  • Logic
  • Recursion Theory