Gödel '96 : logical foundations of mathematics, computer science, and physics - Kurt Gödel's legacy / edited by Petr Hájek, ...

Date : 2001

Editeur / Publisher : Urbana (Ill.) : Association for symbolic logic , [impr. 2001], cop. 1996

Type : Livre / Book

Langue / Language : anglais / English

ISBN : 1-56881-153-5

EAN : 9781568811536

Logique mathématique

Mathématiques -- Fondements

Langages formels

Mathématiques -- Mélanges et hommages

Hájek, Petr (1940-....) (Directeur de publication / publishing director)

Gödel'96 (1996 ; Brno, République Tchèque) (Auteur / author)

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