> Skip to content

Penguin homepage Books

Action & adventure
Classics
Contemporary fiction
Crime & thrillers
Fantasy & science fiction
General & literary fiction
Graphic novels
Historical fiction
Romance
Short stories
View all fiction

Art, music & photography
Biography & memoir
Business & finance
Computing & technology
Food & drink
Health & lifestyle
History
Politics & law
Society & culture
Travel
View all non-fiction

0 - 2
3 - 5
6 - 8
9 - 11
12 - 13
Young adult
View all ages

New releases
Bestsellers
Coming soon
Our lists
Penguin Classics
Popular series
New Zealand Books

Hairy Maclary

News
Extracts
Articles
Recipes
Q&A
Activities
Book clubs
Teachers' notes

View all features

Authors Events More

News
Extracts
Articles
Recipes
Q&A
Activities
Book clubs
Teachers' notes

Authors Events Schools

Search books and authors

Konstantine Arkoudas

Book for an event

Books by Konstantine Arkoudas

Fundamental Proof Methods in Computer Science

Konstantine Arkoudas, David Musser

About
Bookseller services
Contact
Corporate sales
Get published
Sustainability
Teachers' notes

Careers
Community guidelines
Publishing partners
Rights
Avoid publishing scams
Privacy
Terms of use

Penguin Books

Penguin Kids

This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Penguin Books New Zealand
A Penguin Random House Company

global.penguinrandomhouse.com