S. B. Cooper & J. K. Truss, Models and Computability: Invited Papers From Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997

Off-campus access

Using PhilPapers from home?

Click here to configure this browser for off-campus access.

S. B. Cooper & J. K. Truss (1999). Models and Computability: Invited Papers From Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997. Cambridge University Press.
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.
Computability in Philosophy of Computing and Information
Logic and Philosophy of Logic
$59.99 used $87.87 new $92.00 direct from Amazon Amazon page
Reading list | Discuss | Edit | Categorize |

My bibliography |

Export citation | Scholar | At my library
3 downloads | Added to index: 2009-01-28 | Mark as duplicate | Remove from index | Revision history | Call number: QA9.A1.L64 1997

Similar books and articles

Hugues Leblanc (1973). Truth, Syntax and Modality. Amsterdam,North-Holland.

Provability, Computability and Reflection.

Logic and Philosophy of Logic

$175.98 used $192.11 new Amazon page

Reading list | Discuss | Edit | Categorize |

My bibliography

Export citation

| Scholar | At my library | More options ...

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.

This publication refers to the proceedings of the Seventh Latin American on Mathematical Logic held in Campinas, SP, Brazil, from July 29 to August 2, 1985. The event, dedicated to the memory of Ayda I. Arruda, was sponsored as an official Meeting of the Association for Symbolic Logic. Walter Carnielli.

The Journal of Symbolic Logic Vol. 51, No. 4 (Dec., 1986), pp. 1093-1103.

Latin American Philosophy of Science, Logic, and Mathematics in Philosophy of the Americas

Logic and Philosophy of Logic, Misc in Logic and Philosophy of Logic

Reading list | Discuss | Edit | Categorize |

My bibliography

Export citation

| Other links: jstor.org | Scholar | At my library | More options ...

John N. Crossley (1975). Algebra and Logic: Papers From the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia. Springer-Verlag.

Logic and Philosophy of Logic

$25.00 used Amazon page

Reading list | Discuss | Edit | Categorize |

My bibliography

Export citation

| Scholar | At my library | More options ...

Gabriel V. Orman (1991). Proceedings of the Third Colloquium on Logic, Language, Mathematics Linguistics, Brasov, 23-25 Mai 1991. Society of Mathematics Sciences.

Logic and Philosophy of Logic

Philosophy of Linguistics in Philosophy of Language

Reading list | Discuss | Edit | Categorize |

My bibliography

Export citation

| Scholar | At my library | More options ...

J. van Eijck, Vincent van Oostrom & Albert Visser (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. A K Peters.

Philosophy of Mathematics

$64.62 new $65.93 used $70.00 direct from Amazon Amazon page

Reading list | Discuss | Edit | Categorize |

My bibliography

Export citation

| Scholar | At my library | More options ...

F. Delon (2010). Logic Colloquium 2007. Cambridge University Press.

The 2007 proceedings from the Annual European Meeting of the Association for Symbolic Logic.

Philosophy of Mathematics

$29.53 used $49.99 new $99.00 direct from Amazon Amazon page

Reading list | Discuss | Edit | Categorize |

My bibliography

Export citation

| Scholar | At my library | More options ...

G. H. Müller, Arnold Oberschelp & Karl Potthoff (1975). Isilc Logic Conference: Proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974. Springer-Verlag.

Logic and Philosophy of Logic

$30.69 used Amazon page

Reading list | Discuss | Edit | Categorize |

My bibliography

Export citation

| Scholar | At my library | More options ...

Alessandro Andretta, Keith Kearnes & Domenico Zambella (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. Cambridge University Press.

Highlights of this volume from the 2004 Annual European Meeting of the Association for Symbolic Logic (ASL) include a tutorial survey of the recent highpoints of universal algebra, written by a leading expert; explorations of foundational questions; a quartet of model theory papers giving an excellent reflection of current work in model theory, from the most abstract aspect "abstract elementary classes" to issues around p-adic integration.

Logic and Philosophy of Logic, Misc in Logic and Philosophy of Logic

Philosophy of Mathematics, General Works in Philosophy of Mathematics

$1.96 new $1.99 used $97.00 direct from Amazon Amazon page

Reading list | Discuss | Edit | Categorize |

My bibliography

Export citation

| Scholar | At my library | More options ...

Ayda I. Arruda, Newton C. A. Costdaa & R. Chuaqui (1977). Non-Classical Logics, Model Theory, and Computability: Proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976. Sale Distributors for the U.S.A. And Canada, Elsevier/North-Holland.

Provability, Computability and Reflection.

Computability in Philosophy of Computing and Information

Latin American Philosophy of Science, Logic, and Mathematics in Philosophy of the Americas

Model Theory in Logic and Philosophy of Logic

$105.24 used $192.11 new Amazon page

Reading list | Discuss | Edit | Categorize |

My bibliography

Export citation

| Scholar | At my library | More options ...

Costas Dimitracopoulos (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. Cambridge University Press.

The Annual European Meeting of the Association for Symbolic Logic, generally known as the Logic Colloquium, is the most prestigious annual meeting in the field. Many of the papers presented there are invited surveys of recent developments. Highlights of this volume from the 2005 meeting include three papers on different aspects of connections between model theory and algebra; a survey of recent major advances in combinatorial set theory; a tutorial on proof theory and modal logic; and a description of Bernay's philosophy of mathematics.

Logic and Philosophy of Logic, Miscellaneous in Logic and Philosophy of Logic

Philosophy of Mathematics, Miscellaneous in Philosophy of Mathematics

$3.39 new $3.39 used $97.00 direct from Amazon Amazon page

Reading list | Discuss | Edit | Categorize |

My bibliography

Export citation

| Scholar | At my library | More options ...

Discussion of S. B. Cooper & J. K. Truss, Models and Computability: Invited Papers From Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997

Back

All discussions Start a new thread

There are no threads in this forum

Nothing in this forum yet.

Applied ethics	Epistemology	History of Western Philosophy	Meta-ethics	Metaphysics	Normative ethics
Philosophy of biology	Philosophy of language	Philosophy of mind	Philosophy of religion	Science Logic and Mathematics	More ...

Online research in philosophy