WorldCat Identities

Boolos, George

Overview
Works: 24 works in 206 publications in 4 languages and 5,316 library holdings
Genres: Interviews 
Roles: Author, Editor, Contributor, Other, Honoree
Classifications: QA9.59, 511.3
Publication Timeline
.
Most widely held works about George Boolos
 
Most widely held works by George Boolos
Computability and logic by George Boolos( Book )

103 editions published between 1974 and 2010 in 4 languages and held by 2,015 WorldCat member 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 )

31 editions published between 1993 and 2003 in English and held by 572 WorldCat member libraries worldwide

The unprovability of consistency : an essay in modal logic by George Boolos( Book )

16 editions published between 1979 and 2009 in English and held by 508 WorldCat member libraries worldwide

Meaning and method : essays in honor of Hilary Putnam( Book )

10 editions published between 1990 and 2009 in English and Italian and held by 412 WorldCat member libraries worldwide

Logic, logic, and logic by George Boolos( Book )

14 editions published between 1998 and 1999 in English and held by 408 WorldCat member libraries worldwide

Mathematics and mind( Book )

1 edition published in 1994 in English and held by 6 WorldCat member libraries worldwide

Three logico-philosophical studies by George Boolos( Book )

6 editions published between 1984 and 1985 in English and Undetermined and held by 6 WorldCat member libraries worldwide

To be is to be a value of a variable (or to be some values of some variables) by George Boolos( Book )

4 editions published between 1983 and 1985 in English and held by 5 WorldCat member libraries worldwide

In conversation W.V. Quine by W. V Quine( Visual )

3 editions published between 1994 and 2006 in English and held by 5 WorldCat member 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
Meaning and method : essays in honour of Hilary Putnam( Book )

1 edition published in 1990 in English and held by 4 WorldCat member libraries worldwide

Philosophy of mathematics( Book )

2 editions published in 1990 in English and held by 4 WorldCat member libraries worldwide

Effettività e lingue naturali by George Boolos( )

1 edition published in 1971 in Italian and held by 3 WorldCat member libraries worldwide

Special issue on George S. Boolos( Book )

2 editions published in 1999 in English and held by 2 WorldCat member libraries worldwide

The hierarchy of constructible sets of integers by George Boolos( Book )

2 editions published in 1966 in English and held by 2 WorldCat member libraries worldwide

Philosophy international presents In conversation - W.V. Quine the Boolos panel / Participants: W.V. Quine, George Boolos ... Rudolf Fara, chair( Visual )

1 edition published in 1994 in English and held by 2 WorldCat member libraries worldwide

The George Boolos memorial symposium by George Boolos Memorial Symposium( Book )

1 edition published in 1999 in English and held by 1 WorldCat member library worldwide

The George Boolos Memorial Symposium II : special issue by George Boolos Memorial Symposium( Book )

in English and held by 1 WorldCat member library worldwide

In April of 1998 a group of scholars met at Notre Dame to honor the life and work of George S. Boolos : in this issue papers presented at the conference by Michael Detlefsen( Book )

1 edition published in 1999 in English and held by 1 WorldCat member library worldwide

Ke ji suan xing yu shu li luo ji : Di si ban : ying wen ban( Book )

1 edition published in 2003 in English and held by 1 WorldCat member library worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.42 (from 0.25 for Computabil ... to 0.98 for Effettivit ...)

The logic of provability
Alternative Names
Boolos, George

Boolos George S.

Boolos, George S. 1940-1996

Boolos, George Stephen.

George Boolos Amerikaans wiskundige (1940-1996)

George Boolos Philosopher and mathematical logician

George Boolos US-amerikanischer Philosoph und Logiker

Languages
English (195)

Italian (3)

German (1)

Dutch (1)

Covers
The logic of provabilityThe unprovability of consistency : an essay in modal logicMeaning and method : essays in honor of Hilary PutnamLogic, logic, and logicMathematics and mind