Semantics and Logics of Computation Image close
Semantics and Logics of Computation on Hardback
Semantics and Logics of Computation on Hardback
Show Hide Adult Content
Semantics and Logics of Computation close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Theory & Design  
Mathematical theory of computation

Semantics and Logics of Computation

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Hardback
$359.99
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $90.00 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 8-18 July using International Courier

Explore more Publications of the Newton Institute

See all products in this series

Higher Order Operational Techniques in Semantics on Hardback
$260.99
Higher Order Operational Techniques in Semantics
Hardback
Available - Usually ships in 3-4 weeks
Semantics and Logics of Computation
$123.99
Semantics and Logics of Computation
Paperback / softback
Available - Usually ships in 3-4 weeks
Real-Time Computer Vision on Hardback
$312.99
Real-Time Computer Vision
Hardback
Available - Usually ships in 3-4 weeks
Geometry of Constrained Dynamical Systems on Hardback
$358.99
Geometry of Constrained Dynamical Systems
Hardback
Available - Usually ships in 3-4 weeks
Lectures on Solar and Planetary Dynamos on Hardback
$310.99
Lectures on Solar and Planetary Dynamos
Hardback
Available - Usually ships in 3-4 weeks
Models for Infectious Human Diseases on Hardback
$498.99
Models for Infectious Human Diseases
Hardback
Available - Usually ships in 3-4 weeks
Epidemic Models on Hardback
$407.99
Epidemic Models
Hardback
Available - Usually ships in 3-4 weeks
Solar and Planetary Dynamos
$156.99
Solar and Planetary Dynamos
Paperback / softback
Available - Usually ships in 3-4 weeks
Mathematics of Derivative Securities on Hardback
$603.99
Mathematics of Derivative Securities
Hardback
Available - Usually ships in 3-4 weeks
On-Line Learning in Neural Networks
$132.99
On-Line Learning in Neural Networks
Paperback / softback
Available - Usually ships in 3-4 weeks
Duality and Supersymmetric Theories on Hardback
$405.99
Duality and Supersymmetric Theories
Hardback
Available - Usually ships in 3-4 weeks
Duality and Supersymmetric Theories
$149.99
Duality and Supersymmetric Theories
Paperback / softback
Available - Usually ships in 3-4 weeks
On-Line Learning in Neural Networks on Hardback
$397.99
On-Line Learning in Neural Networks
Hardback
Available - Usually ships in 3-4 weeks
Epidemic Models
$190.99
Epidemic Models
Paperback / softback
Available - Usually ships in 3-4 weeks
Idempotency
$167.99
Idempotency
Paperback / softback
Available - Usually ships in 3-4 weeks
Ecology of Infectious Diseases in Natural Populations
$193.99
Ecology of Infectious Diseases in Natural Populations
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

The aim of this volume is to present modern developments in semantics and logics of computation in a way that is accessible to graduate students. The book is based on a summer school at the Isaac Newton Institute and consists of a sequence of linked lecture courses by international authorities in the area. The whole set have been edited to form a coherent introduction to these topics, most of which have not been presented pedagogically before.

Author Biography:

Andrew Pitts FACM FBCS is Professor of Theoretical Computer Science at the University of Cambridge and a Fellow of Darwin College.
Release date Australia
January 30th, 1997
Audience
  • Professional & Vocational
Contributors
  • Edited by Andrew M. Pitts
  • Edited by P. Dybjer
Pages
376
Dimensions
157x235x25
ISBN-13
9780521580571
Product ID
2338963

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation