Comments (5)
Also:
[Hitchcock]
David Hitchcock
The peculiarities of Stoic propositional logic
McMaster University
http://www.humanities.mcmaster.ca/~hitchckd/peculiarities.pdf
from set.mm.
These bibliographic entries are a requirement for the "stoic" branch:
https://github.com/metamath/set.mm/tree/stoic
from set.mm.
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):
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.
from set.mm.
Here's my attempt at reformatting. I'll email this to Norm:
from set.mm.
Norm added those entries (thank you!).
from set.mm.
Related Issues (20)
- should iset.mm have both ax-bndl and ax-i12 ? HOT 2
- Appropriate names for +g and gsum HOT 1
- Appropriate name (and new symbol) for LSSum HOT 4
- Barycentric coordinates HOT 2
- Existence of a certain non-constant function implies the limited principle of omnisience HOT 4
- If not equal implies apart, Markov's principle follows HOT 1
- Updating mmset.html HOT 12
- Symbol and token for the class of semigroups HOT 9
- Update of the topological structure overview figure HOT 4
- Can a space filling curve exist in iset.mm? HOT 5
- The sine function is decreasing over [2,4] HOT 17
- Making SymGrp a structure restriction of EndoFMnd HOT 7
- Discourage indirect usage of ax-13? HOT 17
- Hypotheses with an "is a set" property using the universal class _V HOT 4
- Newbie here, I created a proof with mmj2. How do I add the proof to the database HOT 17
- </table> tags in AS's mathbox are outside <html> blocks HOT 3
- Interchanging factors in integrals and sums (Lemmas for AKS) HOT 4
- Contributor code RM is used twice HOT 1
- Feedback from a new user, improvement suggestions. HOT 23
- move polynomial section HOT 6
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from set.mm.