Boolos, George
Boolos, George, 1940-1996.
Boolos, George (George S.), 1940-1996
George Boolos Philosopher and mathematical logician (1940-1996)
Boolos, George Stephen
Boolos, George S. 1940-1996
VIAF ID: 34530215 ( Personal )
Permalink: http://viaf.org/viaf/34530215
Preferred Forms
-
-
-
-
- 100 1 _ ‡a Boolos, George
-
- 100 1 _ ‡a Boolos, George
- 100 1 0 ‡a Boolos, George
-
-
- 100 1 _ ‡a Boolos, George S. ‡d 1940-1996
- 100 1 _ ‡a Boolos, George Stephen
-
- 100 1 _ ‡a Boolos, George ‡d 1940-1996
-
- 100 1 _ ‡a Boolos, George, ‡d 1940-1996
-
-
-
- 100 0 _ ‡a George Boolos ‡c Philosopher and mathematical logician (1940-1996)
4xx's: Alternate Name Forms (17)
5xx's: Related Names (5)
- 510 2 _ ‡a Cambridge University Press
- 510 2 _ ‡a Massachusetts Institute of Technology
- 510 2 _ ‡a Massachusetts Institute of Technology. Dept. of Humanities. Thesis
- 510 2 _ ‡a Massachusetts Institute of Technology ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a The London School of Economics and Political Science (London). Centre for the Philosophy of the Natural and Social Sciences. Philosophy International
Works
Title | Sources |
---|---|
Computability and logic | |
Gödels zweiter Unvollständigkeitssatz für einsilbige Vorarlberger nacherzählt nach einem Text von George Boolos, in gegödelter und anschließend streng gödelisierter Form historisch eingerahmt sowie mit einem PISA-Nachwort ergänzt von Inge Dapunt | |
In conversation: W. V. Quine | |
O logice drugiego rzędu | |
Meaning and method essays in honor of Hilary Putnam | |
On second-order logic | |
Three logico-philosophical studies | |
The unprovability of consistency : an essay in modal logic | |
계산가능성과 논리 |