Thinking Programs

Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions

Paperback Published on: 24/10/2022
£59.99
No reviews yet, be the first
Free UK delivery on orders over £25
We can order this from the publisher
Usually dispatched within 3 weeks
Make and edit your lists in your account
No stock available in any shop.
We can order this from the publisher
Usually dispatched within 3 weeks
No stock available in any shop.
View other formats and editions

Publisher information

  • Publisher: Springer Nature Switzerland AG
  • ISBN: 9783030805098
  • Number of pages: 636
  • Dimensions: 235 x 155 mm
  • Languages: English

Customer Reviews

You may also like...

Set Theory and Logic
Robert R. Stoll
£19.49
A Beginner’s Guide to Mathematical Logic
Raymond M. Smullyan
£20.99
Category Theory
Steve Awodey
£65.00
To Mock a Mockingbird: and Other Logic Puzzles
Raymond Smullyan
£13.49
Elements of Set Theory
Herbert B. Enderton
£56.99
Computability and Logic
George S. Boolos
£32.00
Pre-Algebra DeMYSTiFieD, Second Edition
Allan Bluman
£22.99
Logic
Wilfrid Hodges
£12.99
Categories for Types
Roy L. Crole
£66.00
Wittgenstein`s Lectures on the Foundations of Mathematics, Cambridge, 1939
Ludwig Wittgenstein
£24.00
Gödel's Proof
Ernest Nagel
£13.99
An Introduction to Mathematical Reasoning
Peter J. Eccles
£36.00
Logic For Dummies
Mark Zegarelli
£18.99
Introduction to Mathematical Logic
Richard E. Hodel
£37.99
Alan M. Turing
Sara Turing
£15.99
Introduction to Lattices and Order
B. A. Davey
£44.99