HoTT
ISBN
I've received a comment from someone who wanted to request that their library order a copy of the book, but wasn't sure how to due to the lack of an ISBN. Can we get an ISBN? According to wikipedia, in the US, ISBNs cost money. )-:
another thing we'll need if it's going to go to libraries is a Library of Congress entry (look on the copyright page of any book and you will see the standard entry for that book assigned by the LoC). I don't think that costs anything, but it does involve some complications.
On Jun 21, 2013, at 4:11 PM, Andrej Bauer [email protected] wrote:
Lulu can give us an ISBN. Or maybe IAS.
— Reply to this email directly or view it on GitHub.
I doubt it -- why should they? And why would they be any more able to do it than us? They don't have a tech report series or similar -- they use Princeton U. Press.
On Jun 21, 2013, at 5:06 PM, Andrej Bauer [email protected] wrote:
Maybe this is where IAS can do its share?
— Reply to this email directly or view it on GitHub.
I see, well then the most straightforward option is to buy an ISBN from Lulu. That may land us a LOC entry too.
Will the ISBN remain constant as we post updates to the book? Do the paperback and hardback versions need separate ISBNs?
On Fri, Jun 21, 2013 at 3:05 PM, Andrej Bauer [email protected]:
I see, well then the most straightforward option is to buy an ISBN from Lulu. That may land us a LOC entry too.
— Reply to this email directly or view it on GitHubhttps://github.com/HoTT/book/issues/300#issuecomment-19843485 .
here's the LOC thing:
http://www.loc.gov/publish/cip/
On Jun 21, 2013, at 6:11 PM, Mike Shulman [email protected] wrote:
Will the ISBN remain constant as we post updates to the book? Do the paperback and hardback versions need separate ISBNs?
On Fri, Jun 21, 2013 at 3:05 PM, Andrej Bauer [email protected]:
I see, well then the most straightforward option is to buy an ISBN from Lulu. That may land us a LOC entry too.
— Reply to this email directly or view it on GitHubhttps://github.com/HoTT/book/issues/300#issuecomment-19843485 .
— Reply to this email directly or view it on GitHub.
can we crowd-source this, too?
On Jun 21, 2013, at 6:18 PM, steve awodey [email protected] wrote:
here's the LOC thing:
http://www.loc.gov/publish/cip/
On Jun 21, 2013, at 6:11 PM, Mike Shulman [email protected] wrote:
Will the ISBN remain constant as we post updates to the book? Do the paperback and hardback versions need separate ISBNs?
On Fri, Jun 21, 2013 at 3:05 PM, Andrej Bauer [email protected]:
I see, well then the most straightforward option is to buy an ISBN from Lulu. That may land us a LOC entry too.
— Reply to this email directly or view it on GitHubhttps://github.com/HoTT/book/issues/300#issuecomment-19843485 .
— Reply to this email directly or view it on GitHub.
Yes.
Sent from my iPhone
On Jun 22, 2013, at 5:06 PM, Andrej Bauer [email protected] wrote:
You mean, is there someone listening who knows how to do this?
— Reply to this email directly or view it on GitHub.
I emailed a friend in Librarian school. The expert there is on vacation. We may get an answer in 2 weeks. My friend said it may involve sending 2 copies of the book to the LoC.
On Sat, Jun 22, 2013 at 11:15 PM, Steve Awodey [email protected]:
Yes.
Sent from my iPhone
On Jun 22, 2013, at 5:06 PM, Andrej Bauer [email protected] wrote:
You mean, is there someone listening who knows how to do this?
— Reply to this email directly or view it on GitHub.
— Reply to this email directly or view it on GitHubhttps://github.com/HoTT/book/issues/300#issuecomment-19864845 .
At least one place on lulu claims that they give ISBNs for free: http://connect.lulu.com/t5/ISBN-Distribution/How-to-get-an-ISBN-for-your-Book/ta-p/33617