A Beginner's Further Guide to Mathematical Logic

0 avg rating
( 0 ratings by Goodreads )
 
9789814725729: A Beginner's Further Guide to Mathematical Logic
View all copies of this ISBN edition:
 
 

This is the final book written by the late great puzzle master and logician, Dr. Raymond Smullyan. This book is a sequel to my Beginner's Guide to Mathematical Logic. The previous volume deals with elements of propositional and first-order logic, contains a bit on formal systems and recursion, and concludes with chapters on Gödel's famous incompleteness theorem, along with related results. The present volume begins with a bit more on propositional and first-order logic, followed by what I would call a "fein" chapter, which simultaneously generalizes some results from recursion theory, first-order arithmetic systems, and what I dub a "decision machine." Then come five chapters on formal systems, recursion theory and metamathematical applications in a general setting. The concluding five chapters are on the beautiful subject of combinatory logic, which is not only intriguing in its own right, but has important applications to computer science. Argonne National Laboratory is especially involved in these applications, and I am proud to say that its members have found use for some of my results in combinatory logic. This book does not cover such important subjects as set theory, model theory, proof theory, and modern developments in recursion theory, but the reader, after studying this volume, will be amply prepared for the study of these more advanced topics.

"synopsis" may belong to another edition of this title.

Buy New View Book
List Price: US$ 24.00
US$ 24.73

Convert Currency

Shipping: FREE
From United Kingdom to U.S.A.

Destination, Rates & Speeds

Add to Basket

Other Popular Editions of the Same Title

9789814730990: A Beginner's Further Guide to Mathematical Logic

Featured Edition

ISBN 10:  9814730998 ISBN 13:  9789814730990
Publisher: World Scientific Publishing Company, 2016
Hardcover

Top Search Results from the AbeBooks Marketplace

1.

Raymond M. Smullyan
Published by World Scientific Publishing Co Pte Ltd, Singapore (2017)
ISBN 10: 9814725722 ISBN 13: 9789814725729
New Paperback Quantity Available: 1
Seller:
The Book Depository
(London, United Kingdom)
Rating
[?]

Book Description World Scientific Publishing Co Pte Ltd, Singapore, 2017. Paperback. Condition: New. Language: English . Brand New Book. This book is a sequel to my Beginner s Guide to Mathematical Logic.The previous volume deals with elements of propositional and first-order logic, contains a bit on formal systems and recursion, and concludes with chapters on Godel s famous incompleteness theorem, along with related results.The present volume begins with a bit more on propositional and first-order logic, followed by what I would call a fein chapter, which simultaneously generalizes some results from recursion theory, first-order arithmetic systems, and what I dub a decision machine. Then come five chapters on formal systems, recursion theory and metamathematical applications in a general setting. The concluding five chapters are on the beautiful subject of combinatory logic, which is not only intriguing in its own right, but has important applications to computer science. Argonne National Laboratory is especially involved in these applications, and I am proud to say that its members have found use for some of my results in combinatory logic.This book does not cover such important subjects as set theory, model theory, proof theory, and modern developments in recursion theory, but the reader, after studying this volume, will be amply prepared for the study of these more advanced topics. Seller Inventory # AAZ9789814725729

More information about this seller | Contact this seller

Buy New
US$ 24.73
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

2.

Smullyan, Raymond
ISBN 10: 9814725722 ISBN 13: 9789814725729
New Quantity Available: 3
Seller:
GreatBookPrices
(Columbia, MD, U.S.A.)
Rating
[?]

Book Description Condition: New. Seller Inventory # 25743180-n

More information about this seller | Contact this seller

Buy New
US$ 22.19
Convert Currency

Add to Basket

Shipping: US$ 2.64
Within U.S.A.
Destination, Rates & Speeds

3.

Raymond M. Smullyan
Published by World Scientific Publishing Co Pte Ltd, Singapore (2017)
ISBN 10: 9814725722 ISBN 13: 9789814725729
New Paperback Quantity Available: 1
Seller:
Book Depository International
(London, United Kingdom)
Rating
[?]

Book Description World Scientific Publishing Co Pte Ltd, Singapore, 2017. Paperback. Condition: New. Language: English . Brand New Book. This book is a sequel to my Beginner s Guide to Mathematical Logic.The previous volume deals with elements of propositional and first-order logic, contains a bit on formal systems and recursion, and concludes with chapters on Godel s famous incompleteness theorem, along with related results.The present volume begins with a bit more on propositional and first-order logic, followed by what I would call a fein chapter, which simultaneously generalizes some results from recursion theory, first-order arithmetic systems, and what I dub a decision machine. Then come five chapters on formal systems, recursion theory and metamathematical applications in a general setting. The concluding five chapters are on the beautiful subject of combinatory logic, which is not only intriguing in its own right, but has important applications to computer science. Argonne National Laboratory is especially involved in these applications, and I am proud to say that its members have found use for some of my results in combinatory logic.This book does not cover such important subjects as set theory, model theory, proof theory, and modern developments in recursion theory, but the reader, after studying this volume, will be amply prepared for the study of these more advanced topics. Seller Inventory # AAZ9789814725729

More information about this seller | Contact this seller

Buy New
US$ 24.84
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

4.

Smullyan, Raymond M.
ISBN 10: 9814725722 ISBN 13: 9789814725729
New Quantity Available: > 20
Seller:
Pbshop
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description 2017. PAP. Condition: New. New Book.Shipped from US within 10 to 14 business days. Established seller since 2000. Seller Inventory # IB-9789814725729

More information about this seller | Contact this seller

Buy New
US$ 22.65
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

5.

Smullyan, Raymond M.
Published by World Scientific Publishing Company 5/30/2017 (2017)
ISBN 10: 9814725722 ISBN 13: 9789814725729
New Paperback or Softback Quantity Available: 5
Seller:
BargainBookStores
(Grand Rapids, MI, U.S.A.)
Rating
[?]

Book Description World Scientific Publishing Company 5/30/2017, 2017. Paperback or Softback. Condition: New. A Beginner's Further Guide to Mathematical Logic. Book. Seller Inventory # BBS-9789814725729

More information about this seller | Contact this seller

Buy New
US$ 27.54
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

6.

Raymond M Smullyan
ISBN 10: 9814725722 ISBN 13: 9789814725729
New Quantity Available: 3
Seller:
Speedy Hen LLC
(Sunrise, FL, U.S.A.)
Rating
[?]

Book Description Condition: New. Bookseller Inventory # ST9814725722. Seller Inventory # ST9814725722

More information about this seller | Contact this seller

Buy New
US$ 27.97
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

7.

Smullyan, Raymond M
Published by World Scientific Publishing Co (2016)
ISBN 10: 9814725722 ISBN 13: 9789814725729
New Paperback Quantity Available: > 20
Seller:
Murray Media
(North Miami Beach, FL, U.S.A.)
Rating
[?]

Book Description World Scientific Publishing Co, 2016. Paperback. Condition: New. Never used!. Seller Inventory # 9814725722

More information about this seller | Contact this seller

Buy New
US$ 28.29
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

8.

SMULLYAN RAYMOND M (author)
Published by World Scientific Publishing Co Pte Ltd 2017-01-13, Singapore (2017)
ISBN 10: 9814725722 ISBN 13: 9789814725729
New paperback Quantity Available: > 20
Seller:
Blackwell's
(Oxford, OX, United Kingdom)
Rating
[?]

Book Description World Scientific Publishing Co Pte Ltd 2017-01-13, Singapore, 2017. paperback. Condition: New. Seller Inventory # 9789814725729

More information about this seller | Contact this seller

Buy New
US$ 23.05
Convert Currency

Add to Basket

Shipping: US$ 7.90
From United Kingdom to U.S.A.
Destination, Rates & Speeds

9.

Raymond M. Smullyan
ISBN 10: 9814725722 ISBN 13: 9789814725729
New Paperback Quantity Available: 1
Seller:
Grand Eagle Retail
(Wilmington, DE, U.S.A.)
Rating
[?]

Book Description Paperback. Condition: New. Paperback. This book is a sequel to my Beginner's Guide to Mathematical Logic.The previous volume deals with elements of propositional and first-order logic, contains a bit on formal systems and recu.Shipping may be from multiple locations in the US or from the UK, depending on stock availability. 350 pages. 0.381. Seller Inventory # 9789814725729

More information about this seller | Contact this seller

Buy New
US$ 31.47
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

10.

Smullyan, Raymond M.
Published by World Scientific Publishing Co P (2017)
ISBN 10: 9814725722 ISBN 13: 9789814725729
New Paperback Quantity Available: 3
Seller:
The Monster Bookshop
(Fleckney, United Kingdom)
Rating
[?]

Book Description World Scientific Publishing Co P, 2017. Paperback. Condition: New. BRAND NEW ** SUPER FAST SHIPPING FROM UK WAREHOUSE ** 30 DAY MONEY BACK GUARANTEE. Seller Inventory # mon0002373387

More information about this seller | Contact this seller

Buy New
US$ 29.18
Convert Currency

Add to Basket

Shipping: US$ 2.62
From United Kingdom to U.S.A.
Destination, Rates & Speeds

There are more copies of this book

View all search results for this book