|
|
June 30, 2004
- BOOLE AND THE EMPTY SET, John Corcoran
- Re: Automated bijective proofs, Mitchell Harris
- Re: Re: Excluded middle & cardinality of the reals, Giuseppina Ronzitti
- Re: Excluded middle & cardinality of the reals, Mark van Atten
- Last Call for Proposals, ESSLLI 2005, Edinburgh, Paul Dekker
- Re: Excluded middle & cardinality of the reals, Peter Schuster
- Re: Automated bijective proofs, Andreas Weiermann
- Re: Re: Automated bijective proofs, Jacques Carette
- Re: Automated bijective proofs, Timothy Y. Chow
- Re: Automated bijective proofs, Jacques Carette
- BUFFALO LOGIC COLLOQUIUM 2004-2005 SECOND SUMMER ANNOUNCEMENT, John Corcoran
|
|