search

wdv4758h / notes

let me know if my notes help you :D (it's a mess, I know)
https://wdv4758h.github.io/notes/
142 stars 17 forks source link

The Little Prover #47

Open wdv4758h opened 7 years ago

wdv4758h commented 7 years ago

9780262527958

ISBN-10: 0262527952 ISBN-13: 978-0262527958 URL: https://mitpress.mit.edu/books/little-prover Amazon: https://www.amazon.com/Little-Prover-MIT-Press/dp/0262527952

wdv4758h commented 7 years ago

Author: Daniel P. Friedman

Other Publications: