Logic Colloquium 2000 : proceedings of the annual European summer meeting of the Association for symbolic logic, held in Paris, France, July 23-31, 2000 / edited by René Cori,... Alexander Razborov,... Stevo Todorc̆evic̆,... [et al.]

Date : 2005

Editeur / Publisher : Urbana (Ill.) : Association for symbolic logic , cop. 2005

Type : Livre / Book

Langue / Language : anglais / English

ISBN : 1-56881-251-5

ISBN : 1-56881-252-3

EAN : 9781568812519

Logique mathématique

Classification Dewey : 511.3

Cori, René (Directeur de publication / publishing director)

Barwise, Jon (1942-2000) (Personne honorée / honoree)

Logic colloquium (2000 ; Paris) (Auteur / author)

Collection : Lecture notes in logic / Berlin : Springer , 1993-1998