Need bibliograph entries for Sanford and Lopez-Astorga

[metamath]

Need bibliograph entries for Sanford and Lopez-Astorga

[david-a-wheeler]

Also:

[Hitchcock]
David Hitchcock
The peculiarities of Stoic propositional logic
McMaster University
http://www.humanities.mcmaster.ca/~hitchckd/peculiarities.pdf

[david-a-wheeler]

These bibliographic entries are a requirement for the "stoic" branch:

https://github.com/metamath/set.mm/tree/stoic

[nmegill]

Hi David,

I insert bib entries into mmset.html in the format illustrated by the
following example (which contains a number of special cases such as a URL):

[Strang] Strang, Gilbert, Calculus, 1st ed., Wellesley-Cambridge Press (1991) [QA303.S8839 1991]; ISBN 978-09802327-45; available at http://ocw.mit.edu/resources/res-18-001-calculus-online-textbook-spring-2005/ (accessed 24 Nov 2015).

The 'NAME="Strang"' and '[Strang]' must match exactly the '[Strang]' in
the set.mm's theorem comment. If a URL is used, we are starting to
place '(acessed DD MMM YYYY)' after it in case the page disappears, so
it can often be located as an archive.org snapshot.

mmset.html has many other examples to consult for formats of special cases.

The QA number and the ISBN number are optional. Traditionally we
haven't been putting in the ISBN number. The QA number, when it exists,
is really for me so I can quickly find the book in the MIT library.
MIT's QA number (occasionally different from other libraries) is found
via http://libraries.mit.edu/barton

If you put your bib refs in this format, send them to me and I will
insert them into mmset.html.

Norm

On 7/3/16 3:49 PM, David A. Wheeler wrote:

These bibliographic entries are a requirement for the "stoic" branch:

https://github.com/metamath/set.mm/tree/stoic

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub
#46 (comment),
or mute the thread
https://github.com/notifications/unsubscribe/AMKLqCtiRbM3-8ZBzrYCBAwjkLkKu3xDks5qSBJQgaJpZM4JD7lK.

[david-a-wheeler]

Here's my attempt at reformatting. I'll email this to Norm:

[Sanford] Sanford, David H., If P, then Q: Conditionals and the Foundations of Reasoning, 2nd ed., Routledge Taylor & Francis Group (2003); ISBN 0-415-28369-8; available at https://books.google.com/books?id=h_AUynB6PA8C&pg=PA39#v=onepage&q&f=false (accessed 3 Jul 2016).

[Lopez-Astorga] Lopez-Astorga, Miguel, "The First Rule of Stoic Logic and its Relationship with the Indemonstrables", Revista de Filosofía Tópicos (2016); available at http://www.scielo.org.mx/pdf/trf/n50/n50a1.pdf (accessed 3 Jul 2016).

[Hitchcock] Hitchcock, David, The peculiarities of Stoic propositional logic, McMaster University; available at http://www.humanities.mcmaster.ca/~hitchckd/peculiarities.pdf (accessed 3 Jul 2016).

[david-a-wheeler]

Norm added those entries (thank you!).