An edition of Types, Tableaus, and Gödel's God (2002)

Types, Tableaus, and Gödel's God

1 edition
Locate

My Reading Lists:

Create a new list


Buy this book

Last edited by Stew
February 15, 2023 | History
An edition of Types, Tableaus, and Gödel's God (2002)

Types, Tableaus, and Gödel's God

1 edition

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

Publish Date
Publisher
Springer
Language
English
Pages
196

Buy this book

Edition Availability
Cover of: Types, Tableaus, and Gödel's God
Types, Tableaus, and Gödel's God
May 31, 2002, Springer
Hardcover in English - 1 edition

Add another edition?

Book Details


First Sentence

"The formulation of a higher-order logic allows some freedom-there are certain places where choices can be made."

Edition Notes

Series
Trends in Logic

The Physical Object

Format
Hardcover
Number of pages
196
Dimensions
9.5 x 6.3 x 0.6 inches
Weight
8 ounces

Edition Identifiers

Open Library
OL8370067M
ISBN 10
1402006047
ISBN 13
9781402006043
LibraryThing
1308771
Goodreads
61196

Work Identifiers

Work ID
OL8361896W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

History

Download catalog record: RDF / JSON
February 15, 2023 Edited by Stew Edited without comment.
July 29, 2014 Edited by ImportBot import new book
April 28, 2010 Edited by Open Library Bot Linked existing covers to the work.
December 10, 2009 Created by WorkBot add works page