[FAQ, 99/07/28] Mathematical logic on the web
- From: Boris 'pi' Piwinger <3.14@xxxxxxxxxxx>
- Date: 1 Apr 2005 00:03:00 GMT
Mathematical Logic around the world:
http://www.uni-bonn.de/logic/world.html
Abstract Service for Mathematical Logic:
http://www.logic.univie.ac.at/abstract/
.
- Prev by Date: Re: theorem vs. metatheorem
- Next by Date: Re: theorem vs. metatheorem
- Previous by thread: Re: Physical models of set theory
- Next by thread: Euclid's actual proof - have at it!
- Index(es):
