PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
sections
Encyclopædia
Papers
Books
Expositions

meta
Requests (236)
Orphanage
Unclass'd (1)
Unproven (540)
Corrections (46)
Classification

talkback
Polls
Forums
Feedback
Bug Reports

downloads
Snapshots
PM Book

information
News
Docs
Wiki
ChangeLog
TODO List
Copyright
About
References to 'tautology'
1. axiom by rmilson
2. consequence operator by rspuzio
3. contradictory statement by pahio
4. corollaries of basic theorem on ordered groups by rspuzio
5. deductions are $\Delta_1$ by mathcam
6. example of tautology by bloftin
7. Florentin Smarandache by Torquemada
8. Hilbert's $\varepsilon$-operator by gribskoff
9. intuitionistic logic by gribskoff
10. Lindenbaum-Tarski algebra by CWoo
11. logical axiom by CWoo
12. logicism by gribskoff
13. mathematics vocabulary by matte
14. monodromy by mathcam
15. propositional logic by Henry
16. quantum logic by CWoo
17. realization of a formula by a truth function by CWoo
18. the inclusion of classical into intuitionistic logic by gribskoff
19. very ample by Mathprof