/sci/ - Science & Math » Thread #11784632

67KiB, 256x373, type_theory.png

View Same Google iqdb SauceNAO

Anonymous Thu 11 Jun 02:48:33 2020 No.11784632 View Reply Original Report

Quoted By: >>11785125 >>11787762

There is no version of this book in epub format available on libgen, if anyone has bought the kindle version of this book and want more people to read it, please share with us anon <3.

Anonymous

View Same Google iqdb SauceNAO typetheory.jpg, 108KiB, 640x590

Anonymous Thu 11 Jun 2020 06:09:16 No.11785125 Report

Quoted By: >>11785129

>>11784632
Type theory!

Anonymous

Anonymous Thu 11 Jun 2020 06:10:03 No.11785129 Report

Quoted By:

>>11785125
t. set theory virgin

Anonymous

Anonymous Thu 11 Jun 2020 06:13:06 No.11785137 Report

Quoted By: >>11785357

What's wrong with PDF? (Genuine question)

Anonymous

Anonymous Thu 11 Jun 2020 08:03:30 No.11785357 Report

Quoted By: >>11787064

>>11785137
you can't read it using kindle and other book readers.

Anonymous

Anonymous Thu 11 Jun 2020 20:45:05 No.11787064 Report

Quoted By: >>11787537

>>11785357
it wont be perfect, but why not just use an online pdf to epub converter then?

Anonymous

Anonymous Thu 11 Jun 2020 23:43:05 No.11787537 Report

Quoted By:

>>11787064
sadly it doesn't works, you can't reflow a pdf to epub, mobi or azw3 like that. .

You can convert between epub, mobi and azw3 almost perfectly tho...

Anonymous

Anonymous Fri 12 Jun 2020 01:09:24 No.11787762 Report

Quoted By: >>11787981

>>11784632
Google is your friend (for the first 50 pages or so at least)
For some reason sci-hub appears blank

https://www.google.com/search?q=type+theory+and+formal+proof+an+introduction&rlz=1C1CHBF_deDE871DE873&oq=type+theory+and+formal+proof+an+introduction&aqs=chrome..69i57.8814j0j1&sourceid=chrome&ie=UTF-8

https://pdfs.semanticscholar.org/e2ab/ab981caa05afb151952b80b778ca01618b6d.pdf?_ga=2.152439545.1944715736.1591923864-268175146.1591923864

Anonymous

Anonymous Fri 12 Jun 2020 02:24:53 No.11787981 Report

Quoted By:

>>11787762
The link you provided is a pdf.

Capcode	All Only User Posts Only Moderator Posts Only Admin Posts Only Developer Posts
Show Posts	All Only With Images Only Without Images
Deleted Posts	All Only Deleted Posts Only Non-Deleted Posts
Ghost Posts	All Only Ghost Posts Only Non-Ghost Posts
Post Type	All Only Sticky Threads Only Opening Posts Only Reply Posts
Results	All Grouped By Threads
Order	Latest Posts First Oldest Posts First

Your latest searches