Flick Club LogoFlick Club Logo

The Haskell Road To Logic, Maths And Programming (Texts in Computing S.)

Jan van Eijck

Logic Mathematical Proofs Symbolic And Mathematical Logic

A book that presents mathematical logic and proof structure using the Haskell functional programming language, and presents Haskell using mathematical logic and proof structure.

Teen Titans
4.2 2K votes
Numb3rs
3.5 372 votes
The Orville
3.8 2K votes
Spawn
3.9 251 votes
Griselda Blanco: The Black Widow
3.7 332 votes
Murdoch Mysteries
3.9 248 votes
Forged in Fire
4.0 140 votes
Z Nation
3.6 833 votes
FBI: Most Wanted
3.8 371 votes
Life After People: The Series
3.6 131 votes
The Terminal List
4.0 838 votes
War of the Worlds
3.6 854 votes
From the Earth to the Moon
4.1 101 votes
House of Lies
3.3 178 votes
An Idiot Abroad
3.8 218 votes
Men in Black: The Series
3.7 168 votes
Uncle from Another World
3.8 100 votes
ReLIFE
3.8 155 votes
Black Books
4.0 498 votes
Thomas & Friends
3.3 120 votes
Creepshow
3.7 283 votes
MythBusters
- 0 votes
Stranger
4.2 162 votes
La que se avecina
4.1 241 votes
ZeroZeroZero
3.9 393 votes
The Baby-Sitters Club
4.0 472 votes
What If...?
4.1 5K votes
The White Princess
3.9 262 votes
Project Blue Book
4.1 2K votes
Bel-Air
4.0 210 votes
A Discovery of Witches
3.9 635 votes
Frankelda's Book of Spooks
4.3 102 votes
Tagesschau
3.4 203 votes
Scooby-Doo and Scrappy-Doo
3.7 301 votes
Extraordinary You
4.0 155 votes
Doña Bárbara
3.9 696 votes
My Brilliant Friend
4.0 164 votes
The Enfield Haunting
3.3 104 votes
INUYASHIKI LAST HERO
4.0 262 votes
Lie to Me
4.0 2K votes
Hanna
3.7 793 votes
The Case Study of Vanitas
4.2 198 votes
I am Betty, the Ugly one
4.2 4K votes
The Bureau of Magical Things
3.7 261 votes
Tokyo Vice
4.0 252 votes
Secret Diary of a Call Girl
3.5 116 votes
Sex and the City
3.7 2K votes
The Borgias
3.8 445 votes