Models and Computability: Invited Papers From Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997
Graduate studies at Western
Cambridge University Press (1999)
|Abstract||Together, Models and Computability and its sister volume Sets and Proofs will provide readers with a comprehensive guide to the current state of mathematical logic. All the authors are leaders in their fields and are drawn from the invited speakers at 'Logic Colloquium '97' (the major international meeting of the Association of Symbolic Logic). It is expected that the breadth and timeliness of these two volumes will prove an invaluable and unique resource for specialists, post-graduate researchers, and the informed and interested nonspecialist.|
|Keywords||Logic, Symbolic and mathematical Congresses Computable functions Congresses|
|Categories||categorize this paper)|
|Buy the book||$39.86 used (60% off) $69.89 new (33% off) $98.80 direct from Amazon (5% off) Amazon page|
|Call number||QA9.A1.L64 1997|
|Through your library||Configure|
Similar books and articles
John N. Crossley (ed.) (1975). Algebra and Logic: Papers From the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia. Springer-Verlag.
Gabriel V. Orman (ed.) (1991). Proceedings of the Third Colloquium on Logic, Language, Mathematics Linguistics, Brasov, 23-25 Mai 1991. Society of Mathematics Sciences.
J. van Eijck, Vincent van Oostrom & Albert Visser (eds.) (2004). Logic Colloquium '99: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, Held in Utrecht, Netherlands, August 1-6, 1999. [REVIEW] A K Peters.
F. Delon (ed.) (2010). Logic Colloquium 2007. Cambridge University Press.
George Boolos, John Burgess, Richard P. & C. Jeffrey (2007). Computability and Logic. Cambridge University Press.
G. H. Müller, Arnold Oberschelp & Karl Potthoff (eds.) (1975). Isilc Logic Conference: Proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974. Springer-Verlag.
Alessandro Andretta, Keith Kearnes & Domenico Zambella (eds.) (2008). Logic Colloquium 2004: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, Held in Torino, Italy, July 25-31, 2004. [REVIEW] Cambridge University Press.
Ayda I. Arruda, Newton C. A. Costdaa & R. Chuaqui (eds.) (1977). Non-Classical Logics, Model Theory, and Computability: Proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976. [REVIEW] Sale Distributors for the U.S.A. And Canada, Elsevier/North-Holland.
Costas Dimitracopoulos (ed.) (2008). Logic Colloquium 2005: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, Held in Athens, Greece, July 28-August 3, 2005. [REVIEW] Cambridge University Press.
Walter Carnielli (1986). Seventh Latin American on Mathematical Logic- Meeting of the Association for Symbolic Logic: Campinas, Brazil, 1985. Journal of Symbolic Logic 51 (4):1093-1103.
Added to index2009-01-28
Total downloads5 ( #170,394 of 740,143 )
Recent downloads (6 months)1 ( #61,960 of 740,143 )
How can I increase my downloads?