Logic from Russell to Church. (eBook, 2009) [WorldCat.org]
skip to content
Logic from Russell to Church. Preview this item
ClosePreview this item
Checking...

Logic from Russell to Church.

Author: Dov M Gabbay; John Woods
Publisher: Amsterdam : North Holland, ©2009.
Series: Handbook of the History of Logic, 5.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
This volume is number five in the eleven volume Handbook of the History of Logic. It covers the first fifty years of the development of mathematical logic in the twentieth century, and concentrates on the achievements of the great names of the period; Russell, Post, Gödel, Tarski, Church, and the like. This was the period in which mathematical logic gave mature expression to its four main parts ; set theory, model  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Early works
History
Early works to 1800
Additional Physical Format: Print version:
Logic from Russell to Church.
Amsterdam ; Boston : North Holland, 2009
(OCoLC)173087067
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Dov M Gabbay; John Woods
ISBN: 9780444516206 0444516204 9780080885476 0080885470
OCLC Number: 429898411
Description: 1 online resource (xii, 1056 pages).
Contents: Russell's Logic / (Andrew D. Irvine) --
Logic for Meinongian Object Theory Semantics / (Dale Jacquette) --
The Logic of Brouwer and Heyting / (Joan Rand Moschovakis) --
Thoralf Albert Skolem / (Jens Erik Fenstad and Hao Wang) --
The Logic of the Tractatus / (Michael Potter) --
Lesniewski's Logic / (Peter Simons) --
Hibert's Proof Theory / (Wilfried Sieg) --
Hilbert's Epsilon Calculus and its Successors / (Hartly Slater) --
Gödel's Logic / (Mark van Atten and Juliette Kennedy) --
Tarski's Logic / (Keith Simmons) --
Emil Post / (Alasdair Urquhart) --
Gentzen's Logic / (Jan von Plato) --
Lambda-calculus and Combinators in the 20th Century / (Felice Cardone and J. Roger Hindley) --
The Logic of Church and Curry / (Jonathan P. Seldin) --
Paradoxes, Self-reference and Truth in the Twentieth Century / (Andrea Cantini).
Series Title: Handbook of the History of Logic, 5.

Abstract:

Covers the first fifty years of the development of mathematical logic in the 20th century. This title focuses on the achievements of the great names of the period; Russell, Post, Godel, Tarski,  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.