Join Literal

Read-alikes

Books like Type Theory and Formal Proof

Readers who loved Type Theory and Formal Proof by Rob Nederpelt and Herman Geuvers picked these up next.

1984
1984
George Orwell
Project Hail Mary
Project Hail Mary
Andy Weir
Animal Farm
Animal Farm
George Orwell
God of Wrath
God of Wrath
Rina Kent
Why Men Marry Bitches
Why Men Marry Bitches
Sherry Argov
PENGUIN READERS 4: PICTURE OF DORIAN GRAY, THE BOOK AND MP3 PACK
PENGUIN READERS 4: PICTURE OF DORIAN GRAY, THE BOOK AND MP3 PACK
Oscar Wilde
The Bell Jar LP
The Bell Jar LP
Sylvia Plath
The Complete Novels
The Complete Novels
Franz Kafka
Odissea
Odissea
Homero,
The Dialogues of Plato
The Dialogues of Plato
Perpustakaan Tengah Malam (The Midnight Library)
Perpustakaan Tengah Malam (The Midnight Library)
Matt Haig
L'étranger
L'étranger
Albert Camus

Your next favorite book is out there

Track your reading, share the passages worth remembering, and get recommendations from people you trust — not algorithms. Independent, free, and no ads.

Download on the App Store
... or sign up right here