Home
My Books
Browse ▾
Recommendations
Choice Awards
Genres
Giveaways
New Releases
Lists
Explore
News & Interviews
Genres
Art
Biography
Business
Children's
Christian
Classics
Comics
Cookbooks
Ebooks
Fantasy
Fiction
Graphic Novels
Historical Fiction
History
Horror
Memoir
Music
Mystery
Nonfiction
Poetry
Psychology
Romance
Science
Science Fiction
Self Help
Sports
Thriller
Travel
Young Adult
More Genres
Community ▾
Groups
Quotes
Ask the Author
Sign In
Join
Sign up
View profile
Profile
Friends
Groups
Discussions
Comments
Reading Challenge
Kindle Notes & Highlights
Quotes
Favorite genres
Friends’ recommendations
Account settings
Help
Sign out
Home
My Books
Browse ▾
Recommendations
Choice Awards
Genres
Giveaways
New Releases
Lists
Explore
News & Interviews
Genres
Art
Biography
Business
Children's
Christian
Classics
Comics
Cookbooks
Ebooks
Fantasy
Fiction
Graphic Novels
Historical Fiction
History
Horror
Memoir
Music
Mystery
Nonfiction
Poetry
Psychology
Romance
Science
Science Fiction
Self Help
Sports
Thriller
Travel
Young Adult
More Genres
Community ▾
Groups
Quotes
Ask the Author
Discover new books on Goodreads
See if your friends have read any of Harold Simmons's books
Sign in with Facebook
Sign in
options
Join Goodreads
Harold Simmons’s Followers (1)
Harold Simmons
edit data
Combine Editions
Harold Simmons’s books
Harold Simmons
Average rating:
3.5
·
26
ratings ·
3
reviews ·
7 distinct works
An Introduction to Category Theory
3.52 avg rating — 25 ratings
— published 2011 —
9 editions
Want to Read
saving…
Want to Read
Currently Reading
Read
Did Not Finish
Error rating book. Refresh and try again.
Rate this book
Clear rating
1 of 5 stars
2 of 5 stars
3 of 5 stars
4 of 5 stars
5 of 5 stars
Derivation and Computation: Taking the Curry-Howard Correspondence Seriously (Cambridge Tracts in Theoretical Computer Science, Series Number 51)
liked it
3.00 avg rating — 1 rating
— published 2000
Want to Read
saving…
Error rating book. Refresh and try again.
Rate this book
Clear rating
1 of 5 stars
2 of 5 stars
3 of 5 stars
4 of 5 stars
5 of 5 stars
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
by
Harold Simmons
(Editor)
,
Peter Aczel
(Editor)
,
Stanley S. Wainer
(Editor)
0.00 avg rating — 0 ratings
— published 1993
Want to Read
saving…
Error rating book. Refresh and try again.
Rate this book
Clear rating
1 of 5 stars
2 of 5 stars
3 of 5 stars
4 of 5 stars
5 of 5 stars
Orthodoxy in Australia
0.00 avg rating — 0 ratings
— published 1986
Want to Read
saving…
Error rating book. Refresh and try again.
Rate this book
Clear rating
1 of 5 stars
2 of 5 stars
3 of 5 stars
4 of 5 stars
5 of 5 stars
DERIVATION & COMPUTATION
0.00 avg rating — 0 ratings
—
2 editions
Want to Read
saving…
Error rating book. Refresh and try again.
Rate this book
Clear rating
1 of 5 stars
2 of 5 stars
3 of 5 stars
4 of 5 stars
5 of 5 stars
The Psychogenic Theory of Disease
0.00 avg rating — 0 ratings
Want to Read
saving…
Error rating book. Refresh and try again.
Rate this book
Clear rating
1 of 5 stars
2 of 5 stars
3 of 5 stars
4 of 5 stars
5 of 5 stars
Derivatives, Nuclei and Dimensions on the Frame of Torsion Theories (Pitman Research Notes in Mathematics)
by
Jonathan S. Golan
,
Harold Simmons
0.00 avg rating — 0 ratings
—
2 editions
Want to Read
saving…
Error rating book. Refresh and try again.
Rate this book
Clear rating
1 of 5 stars
2 of 5 stars
3 of 5 stars
4 of 5 stars
5 of 5 stars
More books by Harold Simmons…
Is this you?
Let us know.
If not, help out and
invite Harold to Goodreads.
Welcome back. Just a moment while we sign you in to your Goodreads account.