The Little Prover
Daniel P. Friedman & Carl EastlundCategories:
Year:
2015
Publisher:
MIT Press
Language:
english
ISBN 10:
0262527952
ISBN 13:
9780262527958
File:
PDF, 7.78 MB
IPFS:
,
english, 2015