Go?del ʹ96 : logical foundations of mathematics, computer science and physics - Kurt Go?delʹs legacy /
Other Authors: | Ha?jek, Petr |
---|---|
Format: | Book |
Language: | English |
Published: |
Berlin :
Springer,
1996
|
Series: | Lecture Notes in Logic ;
6 |
Subjects: |
Similar Items
-
Goedel'96: : logical foundations of mathematics, computer science and physics- Kurt Goedel's legacy/
Published: (1996) -
Foundations of mathematics : symposium papers commemorating the sixtieth birthday of Kurt Go?del /
Published: (1969) -
Logic colloquium ʹ96 : proceedings of the Colloquium held in San Sebastian, Spain, July 9-15, 1996 /
Published: (1998) -
Logic Colloquium ʹ84 : Proceedings of the Colloquium held in Manchester, July 1984 /
Published: (1986) -
Logic colloquium ʹ69 : proceedings of the Summer School and Colloquim in mathematical, logic, Manchester, August 1969 /
Published: (1971)