Computability and Logic
Computability and Logic
Looking for an examination copy?
If you are interested in the title for your course we can consider offering an examination copy. To register your interest please contact collegesales@cambridge.org providing details of the course you are teaching.
Product details
- Published: July 1974
- Format: Hardback
- ISBN: 9780521204026
- Length: 272 pages
- Weight: 0.517kg
- Availability: Unavailable - out of print
Often bought together
Computability and Logic
Format: Hardback
Computability and Logic
Format: Paperback
Models and Computability
Format: Paperback
Modern Mathematical Logic
Format: Hardback
Often bought together
Related Journals
The Review of Symbolic Logic
Format: Journal
The Review of Symbolic Logic is designed to cultivate research on theborders of logic, philosophy, and the sciences, and to supportsubstantive interactions between these disciplines. The journalwelcomes submissions in any of the following areas, broadly construed: - The general study of logical systems and their semantics,including non-classical logics and algebraic logic; - Philosophical logic and formal epistemology, including interactions with decision theory and game theory; - The history, philosophy, and methodology of logic and mathematics, including the history of philosophy of logic and mathematics; - Applications of logic to the sciences, such as computer science, cognitive science, and linguistics; and logical results addressing foundational issues in the sciences. The Review welcomes submissions in all these areas. (For informationon how to submit papers, see Guidelines below.) The Review beganpublication in June 2008.
Related Journals
Also by this Author
$64.95 USD
$18.95 USD
$53.00 (C) USD
$44.00 (G) USD
$99.99 USD
Also by this Author
Authors
George Boolos
Richard C. Jeffrey
Browse by related subject
- Abstract analysis
- Algebra
- Computational science
- Differential and integral equations, dynamical systems and control
- Discrete mathematics, information theory and coding
- Fluid dynamics and solid mechanics
- Geometry and topology
- Historical mathematical texts
- History of mathematics
- Logic, categories and sets
- Mathematical biology
- Mathematical finance
- Mathematical modelling and methods
- Mathematical physics
- Mathematical tables and handbooks
- Mathematics (general)
- Number theory
- Numerical analysis
- Numerical recipes
- Optimization, OR and risk analysis
- Real and complex analysis