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

Norway

Region is based on IP address

  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

Starting Out with Programming Logic and Design

Starting Out with Programming Logic and Design

Tony Gaddis

Calculus - A Complete Course

Calculus - A Complete Course

Robert A. Adams

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.

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

Language, Proof and Logic

Language, Proof and Logic

Dave Barker-Plummer

Discrete Structures, Logic and Computability

Discrete Structures, Logic and Computability

James L. Hein

A Book of Abstract Algebra Second Edition

A Book of Abstract Algebra Second Edition

Charles C Pinter

Thinking Mathematically

Thinking Mathematically

Johnnie Hamilton-Mason

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.

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

Concrete Mathematics

Concrete Mathematics

Ronald Graham

Mathematical Methods in Linguistics

Mathematical Methods in Linguistics

Barbara H.

Formal Logic

Formal Logic

Jeffrey, Richard C.

Applied Mathematical Programming

Applied Mathematical Programming

Stephen P.

The Art of Computer Programming Fundamental algorithms

The Art of Computer Programming Fundamental algorithms

Donald Ervin Knuth

Mathematik 2

Mathematik 2

Heinrich Behnke

Introduction To Mathematical Logic (Extended Edition)

Introduction To Mathematical Logic (Extended Edition)

Norway) Walicki Michal (Univ Of Bergen

Understanding Analysis

Understanding Analysis

Stephen Abbott

The Logic Book

The Logic Book

Merrie Bergmann