You are here

Logic Colloquium 2005

Publisher: 
Cambridge University Press
Number of Pages: 
272
Price: 
75.00
ISBN: 
978-521884259
Date Received: 
Thursday, January 24, 2008
Reviewable: 
No
Include In BLL Rating: 
No
Reviewer Email Address: 
Costas Dimitracopoulos, Ludomir Newelski, Dag Normann, and John R. Steel, editors
Series: 
Lecture Notes in Logic 28
Publication Date: 
2008
Format: 
Hardcover
Category: 
Proceedings
Tags: 

1. Thread algebra and risk assessment services Jan A. Bergstra, Inge Bethke and Alban Ponse; 2. Covering definable manifolds by open definable subsets Mário J. Edmundo; 3. Isomorphisms and definable relations on computable models Sergei S. Goncharov; 4. Independence for types in algebraically closed valued fields Deirdre Haskell; 5. Simple groups of finite Morley rank Eric Jaligot; 6. Towards a logic of type-free modality and truth Hannes Leitgeb; 7. Structural analysis of Aronszajn trees Justin Tatch Moore; 8. Proof analysis in non-classical logics Sara Negri; 9. Paul Bernays' later philosophy of mathematics Charles Parsons; 10. Proofnets for S5: sequents and circuits for modal logic Greg Restall; 11. Recursion on the partial continuous functionals Helmut Schwichtenberg; 12. A transactional approach to the logic of truth Michael Sheard; 13. On some problems in computable topology Dieter Spreen; 14. Monotone inductive definitions and consistency of New Foundations Sergei Tupailo.

Publish Book: 
Modify Date: 
Thursday, January 24, 2008

Dummy View - NOT TO BE DELETED