Boolos, GeorgeOverview
Publication Timeline
Most widely held works by
George Boolos
Computability and logic
by George Boolos
(
Book
)
45 editions published between 1974 and 2009 in English and Undetermined and held by 1,328 libraries worldwide This fifth edition of 'Computability and Logic' covers not just the staple topics of an intermediate logic course such as Godel's incompleteness theorems, but also optional topics that include Turing's theory of computability and Ramsey's theorem.
The logic of provability
by George Boolos
(
Book
)
15 editions published between 1993 and 2003 in English and held by 501 libraries worldwide
The unprovability of consistency : an essay in modal logic
by George Boolos
(
Book
)
7 editions published between 1979 and 2009 in English and held by 470 libraries worldwide
Meaning and method : essays in honor of Hilary Putnam
(
Book
)
6 editions published in 1990 in English and held by 381 libraries worldwide
Logic, logic, and logic
by George Boolos
(
Book
)
10 editions published between 1998 and 1999 in English and held by 371 libraries worldwide
The Boolos panel
(
Visual
)
2 editions published between 1994 and 1997 in English and held by 13 libraries worldwide Utilizes panel discussion to cover the most important philosophical views of Professor W.V. Quine.
In conversation W.V. Quine
(
Visual
)
2 editions published between 1997 and 2006 in English and held by 12 libraries worldwide Professor Quine takes part in one personal interview, which focuses on his life, and six panel discussions covering his most important philosophical views.
Three logico-philosophical studies
by George Boolos
(
Book
)
4 editions published between 1984 and 1985 in Undetermined and English and held by 5 libraries worldwide
To be is to be a value of a variable (or to be some values of some variables)
by George Boolos
(
Book
)
3 editions published between 1983 and 1985 in English and held by 5 libraries worldwide
Philosophy of mathematics
(
Book
)
2 editions published in 1990 in English and held by 5 libraries worldwide
Computability and logic
(
Book
)
5 editions published between 1974 and 2007 in English and held by 4 libraries worldwide
In conversation W. V. Quine. The Boolos panel
(
Visual
)
2 editions published between 1994 and 2006 in English and held by 4 libraries worldwide Utilizes panel discussion to cover the most important philosophical views of Professor W.V. Quine.
Special issue on George S. Boolos
(
Book
)
2 editions published in 1999 in English and held by 3 libraries worldwide
The Dreben panel
(
Visual
)
1 edition published in 1994 in English and held by 3 libraries worldwide
In conversation The Boolos panel
by Willard van Orman Quine
(
Visual
)
1 edition published in 1994 in English and held by 2 libraries worldwide
Philosophy international presents In conversation - W.V. Quine Videokassette [5] : the Boolos panel / Participants: W.V. Quine, George Boolos ... Rudolf Fara, chair
(
Visual
)
1 edition published in 1994 in English and held by 2 libraries worldwide
The hierarchy of constructible sets of integers
by George S Boolos
(
Book
)
1 edition published in 1966 in English and held by 1 library worldwide
In conversation W. V. Quine : W.V.. Quine. The Boolos panel
(
Visual
)
1 edition published in 1994 and held by 1 library worldwide
In conversation W. V. Quine : W.V.. Quine. The Dreben panel
(
Visual
)
1 edition published in 1994 and held by 1 library worldwide
The hierarchy of constructible sets of integers
by George Stephen Boolos
(
Book
)
1 edition published in 1966 in English and held by 1 library worldwide more
fewer
Audience Level
Related IdentitiesAssociated Subjects
|
Alternative Names
Boolos, George S.
Boolos, George Stephen.
Languages
Covers
|
|||||||||||||||||||
Related Identities