|
|
December 02, 2004
- Re: Re: Shapiro on natural and formal languages, Vladimir Sazonov
- FIRST-ORDER LOGIC WITH IDENTITY, INDIVIDUAL CONSTANTS AND FUNCTION CONSTANTS., John Corcoran
- Re: decidability of intuitionistic propositional logic, Richard Zach
- Re: Historical query (on the very idea of a formalized theory), Richard Zach
- Re: Historical query (on the very idea of a formalized theory), Richard Zach
- Re: Shapiro on natural and formal languages, Timothy Y. Chow
- Re: decidability of intuitionistic propositional logic, Alasdair Urquhart
- Formalization of visual proofs (was Re: Shapiro), Mitchell Harris
- Re: decidability of intuitionistic propositional logic, Neil Tennant
- Re: Re: Shapiro on natural and formal languages, henriknordmark-ee4meeAH724
- Paris Harrington for two colors, Andreas Weiermann
- Re: Re: Shapiro on natural and formal languages, Roger B Jones
- Re: Historical query (on the very idea of a formalized theory), Roger B Jones
- Re: decidability of intuitionistic propositional logic, Arnon Avron
- Fast-growing functions and P = NP, Timothy Y. Chow
- Re: decidability of intuitionistic propositional logic, A.P. Hazen
- Re: Re: Shapiro on natural and formal languages, JoeShipman-YDxpq3io04c
|
|