An edition of Theory of Formal Systems (1961)

Theory of formal systems.

by

  • 6 Want to read
Cover of: Theory of formal systems. by Raymond M. Smullyan, Raymond M. Smullyan
Preview Only

My Reading Lists:

Create a new list
Notes
  • 6 Want to read
Notes

Check nearby libraries

Buy this book

Last edited by ImportBot
May 13, 2025 | History
Edit
An edition of Theory of Formal Systems (1961)

Theory of formal systems.

by

  • 6 Want to read

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
Princeton University Press
Language
English
Pages
142

Check nearby libraries

Buy this book

Previews available in: English

Subjects

Metamatemática, Funciones recursivas, Recursive functions, Mathematics, Metamathematics, Fonctions récursives, Métamathématique
Edition Availability
Cover of: Theory of Formal Systems. (AM-47), Volume 47
Theory of Formal Systems. (AM-47), Volume 47
2016, Princeton University Press
in English
Cover of: Theory of formal systems
Theory of formal systems
1962, Princeton University Press
in English - Rev. ed.
Cover of: Theory of Formal Systems. (AM-47) (Annals of Mathematics Studies)
Theory of Formal Systems. (AM-47) (Annals of Mathematics Studies)
April 1, 1961, Princeton University Press
Paperback in English
Cover of: Theory of formal systems.
Theory of formal systems.
1961, Princeton University Press
in English

Add another edition?

Book Details

Edition Notes

Includes bibliography.
"A revision of the author's recent doctoral dissertation--[Princeton]"

Published in
Princeton, N.J
Series
Annals of mathematics studies,

Classifications

Dewey Decimal Class
512.8
Library of Congress
QA248.5 .S55

The Physical Object

Pagination
142 p.
Number of pages
142

Edition Identifiers

Open Library
OL5800719M
LCCN
60014063
OCLC/WorldCat
527319
LibraryThing
1872150

Work Identifiers

Work ID
OL1867025W

Source records

OpenLibraries-Trent-MARCs record
Internet Archive item record
Library of Congress MARC record
Harvard University record
Internet Archive item record

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading indicator
Loading carousel
Loading indicator
Loading carousel

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
May 13, 2025 Edited by ImportBot import existing book
December 16, 2024 Edited by MARC Bot import existing book
February 19, 2023 Edited by Stew Clean up work title
February 11, 2023 Edited by bitnapper Merge works (MRID: 46990)
April 1, 2008 Created by an anonymous user Imported from Scriblio MARC record