Vetenskap & teknik
Logic Colloquium '95
Johann A Makowsky • Elena V Ravve • Johann A Makowsky • Elena V Ravve
Inbunden
2689:-
Uppskattad leveranstid 3-8 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
This volume presents the conference proceedings of the 1995 Annual European Summer Meeting of the Association of Symbolic Logic. The papers here cover all topics of classical mathematical logic. There is also a tutorial on recent developments in theoretical computer science, and plenary lectures on the foundation and evolution of set theory.
- Format: Inbunden
- ISBN: 9781107167902
- Språk: Engelska
- Antal sidor: 365
- Utgivningsdatum: 2017-03-02
- Förlag: Cambridge University Press