Hardback (30 Nov 2025)
Includes delivery to the United States
This book offers a principled view of programming, showing how computation arises from logic. It explores different logical and proof-theoretic systems as foundations for programming, providing a deeper understanding for readers interested in the theoretical underpinnings of computation and the logic programming paradigm.
Cambridge University Press dates from 1534 and is part of the University of Cambridge. We further the University's mission by disseminating knowledge in the pursuit of education, learning and research at the highest international levels of excellence.
| ISBN: | 9781009561297 |
| Publisher: | Cambridge University Press |
| Imprint: | Cambridge University Press |
| Pub date: | 30 Nov 2025 |
| Language: | English |
| Number of pages: | 400 |
| Weight: | -1g |
$3.38off
The Self-Taught Programmer
Paperback
Published 13 Jan 2022
Save $3.38
The New Statistics With R
Paperback
Published 17 Jun 2021
Python Fundamentals for Data An...
Paperback
Published 09 Sep 2024
$0.33off
Visual Basic 2012
Paperback
Published 13 Jun 2013
Save $0.33
$10.13off
Learn Haskell by Example
Hardback
Published 10 Dec 2024
Save $10.13
The Power of Computational Thin...
Paperback
Published 28 Jan 2017
$4.50off
Computational Thinking
Paperback
Published 31 Aug 2017
Save $4.50
$3.99off
Introducing Go
Paperback
Published 26 Jan 2016
Save $3.99
$8.29off
Programming in Scala
Paperback
Published 30 Jun 2021
Save $8.29
