Home Submit URL Add to Favorite Contact
           20 May, 2024
 
    
Category Suggestion Form :: Science » Math » Logic and Foundations » Set Theory
Root Category ID 26922
Suggested Sub Category *
If approved, category will be created under
Science » Math » Logic and Foundations » Set Theory » NEW-CAT
Comments to Editor
Spam Protection * What is the fifth word in the phrase "bafu vineziw segu miru tapefet gurym jasek pawuta fyxy ziwaro"?

This question is for testing whether you are a human visitor and to prevent automated spam submissions

    
Category List - Main » Science » Math » Logic and Foundations
Computability
Computational Logic
Directories
Education
Foundations
Game Semantics
History
Institutions
Knowledge Representation and Planning
Meetings
Model Theory
Nonstandard Logics and Extensions
Organizations
People
Proof Theory
Publications
Set Theory
Software


New Sites - Main » Science » Math » Logic and Foundations » Set Theory
Burke, Dennis (27th April, 2005) : Miami University of Ohio.
Shelah's Archive (27th April, 2005) : Listing of all articles by Saharon Shelah, and links to many of them.
Metamath Proof Explorer (27th April, 2005) : Over 3000 complete formal proofs deriving numbers and beyond from Zermelo-Fraenkel set theory axioms.


Top Sites - Main » Science » Math » Logic and Foundations » Set Theory
Metamath Proof Explorer () : Over 3000 complete formal proofs deriving numbers and beyond from Zermelo-Fraenkel set theory axioms.
Burke, Dennis () : Miami University of Ohio.
Shelah's Archive () : Listing of all articles by Saharon Shelah, and links to many of them.