{"action":"created","issue":{"url":"https://api.github.com/repos/metamath/set.mm/issues/46","repository_url":"https://api.github.com/repos/metamath/set.mm","labels_url":"https://api.github.com/repos/metamath/set.mm/issues/46/labels{/name}","comments_url":"https://api.github.com/repos/metamath/set.mm/issues/46/comments","events_url":"https://api.github.com/repos/metamath/set.mm/issues/46/events","html_url":"https://github.com/metamath/set.mm/issues/46","id":163576037,"number":46,"title":"Need bibliograph entries for Sanford and Lopez-Astorga","user":{"login":"david-a-wheeler","id":813150,"avatar_url":"https://avatars.githubusercontent.com/u/813150?v=3","gravatar_id":"","url":"https://api.github.com/users/david-a-wheeler","html_url":"https://github.com/david-a-wheeler","followers_url":"https://api.github.com/users/david-a-wheeler/followers","following_url":"https://api.github.com/users/david-a-wheeler/following{/other_user}","gists_url":"https://api.github.com/users/david-a-wheeler/gists{/gist_id}","starred_url":"https://api.github.com/users/david-a-wheeler/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/david-a-wheeler/subscriptions","organizations_url":"https://api.github.com/users/david-a-wheeler/orgs","repos_url":"https://api.github.com/users/david-a-wheeler/repos","events_url":"https://api.github.com/users/david-a-wheeler/events{/privacy}","received_events_url":"https://api.github.com/users/david-a-wheeler/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":3,"created_at":"2016-07-03T19:35:36Z","updated_at":"2016-07-03T20:21:11Z","closed_at":null,"body":"How can bibliographic entries be added?  I need these:\r\n\r\n[Sanford]\r\nIf P, then Q: Conditionals and the Foundations of Reasoning\r\nDavid H. Sanford\r\nSecond edition, 2003.\r\nhttps://books.google.com/books?id=h_AUynB6PA8C&pg=PA39#v=onepage&q&f=false\r\n\r\n\r\n[Lopez-Astorga]\r\nThe First Rule of Stoic Logic and its\r\nRelationship with the Indemonstrables*\r\nMiguel López-Astorga\r\nTópicos, Revista de Filosofía 50 (2016), 9-23.\r\nhttp://www.scielo.org.mx/pdf/trf/n50/n50a1.pdf\r\npage 11.\r\n\r\n"},"comment":{"url":"https://api.github.com/repos/metamath/set.mm/issues/comments/230173183","html_url":"https://github.com/metamath/set.mm/issues/46#issuecomment-230173183","issue_url":"https://api.github.com/repos/metamath/set.mm/issues/46","id":230173183,"user":{"login":"nmegill","id":12749736,"avatar_url":"https://avatars.githubusercontent.com/u/12749736?v=3","gravatar_id":"","url":"https://api.github.com/users/nmegill","html_url":"https://github.com/nmegill","followers_url":"https://api.github.com/users/nmegill/followers","following_url":"https://api.github.com/users/nmegill/following{/other_user}","gists_url":"https://api.github.com/users/nmegill/gists{/gist_id}","starred_url":"https://api.github.com/users/nmegill/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/nmegill/subscriptions","organizations_url":"https://api.github.com/users/nmegill/orgs","repos_url":"https://api.github.com/users/nmegill/repos","events_url":"https://api.github.com/users/nmegill/events{/privacy}","received_events_url":"https://api.github.com/users/nmegill/received_events","type":"User","site_admin":false},"created_at":"2016-07-03T20:21:11Z","updated_at":"2016-07-03T20:21:11Z","body":"Hi David,\n\nI insert bib entries into mmset.html in the format illustrated by the \nfollowing example (which contains a number of special cases such as a URL):\n\n<LI><A NAME=\"Strang\"></A> [Strang] Strang, Gilbert, <I>Calculus</I>, 1st\ned., Wellesley-Cambridge Press (1991) [QA303.S8839 1991]; ISBN\n978-09802327-45; available at <A\nHREF=\"http://ocw.mit.edu/resources/res-18-001-calculus-online-textbook-spring-2005/\">\nhttp://ocw.mit.edu/resources/res-18-001-calculus-online-textbook-spring-2005/</A>\n(accessed 24 Nov 2015).</LI>\n\nThe 'NAME=\"Strang\"' and '[Strang]' must match exactly the '[Strang]' in \nthe set.mm's theorem comment.  If a URL is used, we are starting to \nplace '(acessed DD MMM YYYY)' after it in case the page disappears, so \nit can often be located as an archive.org snapshot.\n\nmmset.html has many other examples to consult for formats of special cases.\n\nThe QA number and the ISBN number are optional.  Traditionally we \nhaven't been putting in the ISBN number.  The QA number, when it exists, \nis really for me so I can quickly find the book in the MIT library. \nMIT's QA number (occasionally different from other libraries) is found \nvia http://libraries.mit.edu/barton\n\nIf you put your bib refs in this format, send them to me and I will \ninsert them into mmset.html.\n\nNorm\n\nOn 7/3/16 3:49 PM, David A. Wheeler wrote:\n> These bibliographic entries are a requirement for the \"stoic\" branch:\n>\n> https://github.com/metamath/set.mm/tree/stoic\n>\n> —\n> You are receiving this because you are subscribed to this thread.\n> Reply to this email directly, view it on GitHub\n> <https://github.com/metamath/set.mm/issues/46#issuecomment-230171699>,\n> or mute the thread\n> <https://github.com/notifications/unsubscribe/AMKLqCtiRbM3-8ZBzrYCBAwjkLkKu3xDks5qSBJQgaJpZM4JD7lK>.\n>\n\n"}}
{"actor":{"display_login":"nmegill"}}