The social marketplace for new and used books.

Get started

Learn to sell
Learn to buy
Buy textbooks
Sign up
Buy a giftcard
For the authors

Support

Help
Track a shipment
Terms of use
Privacy policy
Cookies policy

Company

About us
Work with us
Give feedback
Categories

Contact us

Fast delivery with

Safe payments by

Visa
Mastercard
Vipps
Klarna

© 2026 Bookis AS

English

  1. Home
  5. Mathematical foundations
  1. Home
  3. Genres
  7. Mathematical foundations
The Haskell Road to Logic, Maths and Programming. Second Edition (Texts in Computing)

Paperback • 2004 • English

The Haskell Road to Logic, Maths and Programming. Second Edition (Texts in Computing)

By Kees Doets, Jan van Eijck

0 Ratings • 0.0 of 5

‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌

About the book

Long ago, when Alexander the Great asked the mathematician Menaechmus for a crash course in geometry, he got the famous reply ``There is no royal road to mathematics.'' Where there was no shortcut for Alexander, there is no shortcut for us. Still, the fact that we have access to computers and mature programming languages means that there are avenues for us that were denied to the kings and emperors of yore. The purpose of this book is to teach logic and mathematical reasoning in practice, and to...Show more

Mathematical foundations
Discrete mathematics
Number theory

Book details

ISBN

9780954300692

Publisher

College Publications

Published year

2004

Language

English

Original title

The Haskell Road to Logic, Maths and Programming. Second Edition (Texts in Computing)

Format

Paperback

Shippping and returns

Shipping

Used books are shipped by the seller. Expected delivery after package is sent is 2-4 days.

Returns

Contact the seller after delivery.

Reviews · 0

0 Ratings • 0.0 of 5

You might also like

Logical Methods The Art of Thinking Abstractly and Mathematically

Logical Methods The Art of Thinking Abstractly and Mathematically

Roger Antonsen

Mathematical methods 2A

Mathematical methods 2A

Pearson Education

Discrete Mathematics and Its Applications

Discrete Mathematics and Its Applications

Kenneth H.

A first course in discrete mathematics

A first course in discrete mathematics

Gillian Anderson

Elementary Linear Algebra (Applications version)

Elementary Linear Algebra (Applications version)

Howard Anton

Elementary Linear Algebra Applications version

Elementary Linear Algebra Applications version

Howard Anton

The Maths Book Big Ideas Simply Explained

The Maths Book Big Ideas Simply Explained

Matt Parker

Essential Discrete Mathematics for Computer Science

Essential Discrete Mathematics for Computer Science

Harry Lewis

Starting Out with Programming Logic and Design

Starting Out with Programming Logic and Design

Tony Gaddis

Mathematics for the Million

Mathematics for the Million

Lancelot Hogben

Programming in Haskell

Programming in Haskell

Graham Hutton

The Tools of Mathematical Reasoning

The Tools of Mathematical Reasoning

Tamara J. Lakins

Introduction to Logic

Introduction to Logic

SJ Gensler Harry J.

Introduction To Mathematical Logic (Extended Edition)

Introduction To Mathematical Logic (Extended Edition)

Norway) Walicki Michal (Univ Of Bergen

A Primer on Scientific Programming with Python

A Primer on Scientific Programming with Python

Hans Petter Langtangen

Concepts of Programming Languages

Concepts of Programming Languages

Robert W. Sebesta

Logic

Logic

Dan Cryan

Matlab: A Practical Introduction to Programming and Problem Solving 2nd Edition

Matlab: A Practical Introduction to Programming and Problem Solving 2nd Edition

Dorothy C. Attaway

Applied Combinatorics

Applied Combinatorics

Alan Tucker

Thinking Mathematically

Thinking Mathematically

Johnnie Hamilton-Mason

The Logic Book

The Logic Book

Merrie Bergmann

The Principles of Mathematics

The Principles of Mathematics

Russell Bertrand

Discrete Mathematics

Discrete Mathematics

Norman L. Biggs

Introduction to Algorithms, Second Edition

Introduction to Algorithms, Second Edition

Thomas H.

Discrete Mathematics for Computing

Discrete Mathematics for Computing

Rod Haggarty

The Languages of Logic - An Introduction to Formal Logic

The Languages of Logic - An Introduction to Formal Logic

Samuel Guttenplan

Mathematics : The New Golden Age (New Edition)

Mathematics : The New Golden Age (New Edition)

Keith J. Devlin

Mathematical fallacies and paradoxes

Mathematical fallacies and paradoxes

Bryan Bunch

The Art of Computer Programming, Vols. 1-3

The Art of Computer Programming, Vols. 1-3

Donald Erwin Knuth

Programming Languages

Programming Languages

Ravi Sethi

Mathematical Methods in Linguistics

Mathematical Methods in Linguistics

Barbara H.

Algorithmics

Algorithmics

Harel, David

The Language of First-Order Logic

The Language of First-Order Logic

Jon Barwise

Formal Logic

Formal Logic

Jeffrey, Richard C.

The Art of Computer Programming Fundamental algorithms

The Art of Computer Programming Fundamental algorithms

Donald Ervin Knuth

Mathematik 2

Mathematik 2

Heinrich Behnke