Boolos, George (1940-1996) Signaler une erreur
032339674
Notice de type Personne

Forme retenue

Boolos, George (1940-1996)

Forme rejetée

Boolos, George S
[Nom de personne]

Information

Langue d'expression : anglais
Pays : ÉTATS-UNIS
Date de naissance : 0409 1940
Date de mort : 2705 1996

Notes

Note publique d'information :
Professeur de philosophie et de linguistique au "Massachusetts institute of technology", Cambridge, Massachusetts, USA (en 1990)


Source

Internet : http://www.maths.anu.edu.au/imu (IMU Canberra Circular, n. 103, 09-1997). LCNA (CD), 1996-06


Meaning and method : essays in honor of Hilary Putnam / ed. by George Boolos, 1990. Computability and logic / George S. Boolos, Richard C. Jeffrey, 1989

Utilisation dans Rameau

La vedette peut être employée dans une vedette RAMEAU

Autres identifiants

En cours : frBN009308985
En cours : FRBNF123388342

Notices bibliographiques liées :2rôle(s)

070 Auteur ( 10 )
340 Editeur scientifique ( 1 )



Auteur :

Rôles ?



018358071 : The unprovability of consistency [Texte imprimé] : an essay in modal logic / George Boolos / Cambridge : Cambridge University Press , 1979

021107629 : Computability and logic [Texte imprimé] / George S. Boolos,... Richard C. Jeffrey,... / 3e ed. / Cambridge : Cambridge university press , 1989, cop. 1989

049017519 : The logic of provability / George Boolos / Cambridge [England] : Cambridge University Press , 1995

047861096 : Logic, logic, and logic / George Boolos ; with introductions and afterword by John P. Burgess ; edited by Richard Jeffrey / Cambridge Mass : Harvard University Press , 1998

053560191 : Logic, logic, and logic / George Boolos ; with introductions and afterword by John P. Burgess ; edited by Richard Jeffrey / Cambridge (Mass.) : Havard university press , 1999

01599659X : Computability and logic [Texte imprimé] / [by] George Boolos [and] Richard Jeffrey / Cambridge [Eng.] : University Press , [1974]

022739971 : Computability and logic [Texte imprimé] / George Boolos,...and Richard Jeffrey,.. / 2nd ed. / Cambridge : Cambridge University Press , cop. 1980

00818951X : The logic of provability [Texte imprimé] / George Boolos,... / Cambridge : Cambridge University Press , cop. 1993

074242253 : Computability and logic [Texte imprimé] / George S. Boolos, John P. Burgess,..., Richard C. Jeffrey / 4nd ed / Cambridge (GB) : Cambridge University Press , cop. 2002

12132236X : Computability and logic [Texte imprimé] / George S. Boolos, John P. Burgess,... Richard C. Jeffrey / 5th edition / Cambridge : Cambridge University Press , cop. 2007



Editeur scientifique :

Rôles ?



008855021 : Meaning and method : essays in honor of Hilary Putnam / ed. by George Boolos / Cambridge [etc.] : Cambridge University Press , 1990


A propos Partenaires Conditions Générales d'Utilisation (CGU) Assistance