Theory of Formal Systems
Author:   Raymond M. Smullyan
Publisher:   Princeton University Press
Volume:   46
ISBN:  

9780691080475


Pages:   156
Publication Date:   21 April 1961
Format:   Paperback
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Our Price $130.00 Quantity:  
Add to Cart

Share |

Theory of Formal Systems


Add your own review!

Overview

Full Product Details

Author:   Raymond M. Smullyan
Publisher:   Princeton University Press
Imprint:   Princeton University Press
Volume:   46
Dimensions:   Width: 15.20cm , Height: 1.00cm , Length: 22.90cm
Weight:   0.198kg
ISBN:  

9780691080475


ISBN 10:   069108047
Pages:   156
Publication Date:   21 April 1961
Audience:   Professional and scholarly ,  College/higher education ,  Professional & Vocational ,  Tertiary & Higher Education
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.
Language:   English

Table of Contents

*Frontmatter, pg. i*TABLE OF CONTENTS, pg. iii*PREFACE, pg. vii*ANNALS OF MATHEMATICS STUDIES, pg. xiv*CHAPTER I: FORMAL MATHEMATICAL SYSTEMS, pg. 1*CHAPTER II: FORMAL REPRESENTABILITY AND RECURSIVE ENUMERABILITY, pg. 19*CHAPTER III: INCOMPLETENESS -AND UNDECIDABILITY, pg. 39*CHAPTER IV: RECURSIVE FUNCTION THEORY, pg. 65*CHAPTER V: CREATIVITY AND EFFECTIVE INSEPARABILITY, pg. 93*SUPPLEMENT: APPLICATIONS TO MATHEMATICAL LOGIC, pg. 127*REFERENCE AND BRIEF BIBLIOGRAPHY, pg. 141

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now