Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
Drexel University or The Math Forum.



Re: Sound, semantically complete, categorical theory of arithmetic
Posted:
Jun 10, 2013 6:01 PM


On Jun 11, 12:30 am, Peter Percival wrote: > I think I am an Elephant, > Behind another Elephant > Behind /another/ Elephant who isn't really there.... > A.A. Milne >
http://phpprolog.com/natssdog.png
Herc



