logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
Logic Colloquium 2006 - S Barry Cooper, Herman Geuvers, Anand Pillay
Add cover
Logic Colloquium 2006
by: (author) (author) (author)
Format: ebook
ISBN: 9780511601644 (0511601646)
Publisher: Cambridge University Press
Pages no: 384
Edition language: English
Bookstores:
Other editions (1)
Logic Colloquium 2006 - S Barry Cooper, ... Logic Colloquium 2006 - S Barry Cooper, Herman Geuvers, Anand Pillay
Books by Herman Geuvers
Logic Colloquium 2006 - S. Barry Cooper, Herman Geuvers, Anand Pillay, Jouko Väänänen
Types for Proofs and Programs: Second In... Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers (Lecture Notes in Computer Science) - Herman Geuvers, Freek Wiedijk
Types for Proofs and Programs: Second International Workshop, Types 2002, Berg En Dal, the Netherlands, April 24-28, 2002, Selected Papers - Herman Geuvers
Logic Colloquium 2006 - S Barry Cooper, ... Logic Colloquium 2006 - S Barry Cooper, Herman Geuvers, Anand Pillay
Interactive Theorem Proving: Second International Conference, ITP 2011, Berg En Dal, the Netherlands, August 22-25, 2011, Proceedings - Marko van Eekelen, Herman Geuvers, Julien Schmaltz
Books by Anand Pillay
Technology and Safety of Marine Systems - Anand Pillay, J. Wang
Model Theory with Applications to Algebra and Analysis, Volume 2 - Zoe Chatzidakis, Dugald Macpherson, Anand Pillay, Alex Wilkie
An Introduction to Stability Theory - Anand Pillay
Logic Colloquium 2006 - S. Barry Cooper, Herman Geuvers, Anand Pillay, Jouko Väänänen
Model Theory with Applications to Algebra and Analysis - Zo Chatzidakis, Dugald Macpherson, Anand Pillay
Geometric Stability Theory - Anand Pillay
Logic Colloquium 2006 - S Barry Cooper, ... Logic Colloquium 2006 - S Barry Cooper, Herman Geuvers, Anand Pillay
Books by S Barry Cooper
Theory and Applications of Models of Com... Theory and Applications of Models of Computation: 4th International Conference, Tamc 2007 Shanghai, China, May 22-25, 2007 Proceedings. Lecture Notes in Computer Science - Jin-Yi Cai, S Barry Cooper, Hong Zhu
Logic Colloquium 2006 - S Barry Cooper, ... Logic Colloquium 2006 - S Barry Cooper, Herman Geuvers, Anand Pillay
Sets and Proofs - S Barry Cooper, John K Truss
Computability in Context: Computation an... Computability in Context: Computation and Logic in the Real World - S Barry Cooper
Share this Book
Copyright © 2024 BookLikes Press About Terms of Services Privacy Policy Contact Us Blog FAQ Patronaty medialne BookLikes for Authors Partners panel Team Themes Docs API Blogs
Need help?
Important: Our sites use cookies. We use the information stored using cookies and similar technologies for advertising and statistics purposes. Stored data allow us to tailor the websites to individual user's interests. Cookies may be also used by third parties cooperating with BookLikes, like advertisers, research companies and providers of multimedia applications. You can choose how cookies are handled by your device via your browser settings. If you choose not to receive cookies at any time, BookLikes will not function properly and certain services will not be provided. For more information, please go to our Privacy Policy.