WorldCat Identities

Boolos, George

Overview
Works: 25 works in 211 publications in 5 languages and 5,373 library holdings
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 )

104 editions published between 1974 and 2010 in 5 languages and held by 2,021 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 573 WorldCat member libraries worldwide

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

17 editions published between 1979 and 2009 in English and held by 511 WorldCat member libraries worldwide

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

11 editions published between 1990 and 2009 in English and Italian and held by 415 WorldCat member libraries worldwide

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

14 editions published between 1998 and 1999 in English and held by 409 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

Mathematics and mind( Book )

1 edition published in 1994 in English 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

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

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

Special issue on George S. Boolos( Book )

2 editions published in 1999 in English and held by 2 WorldCat member libraries 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

Computability and logic by George Boolos( Recording )

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

An investigation of the laws of thought on which are founded the mathematical theories of logic and probabilities by George Boolos( Book )

1 edition published in 1958 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

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.41 (from 0.24 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 (192)

Italian (3)

German (1)

Spanish (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