Tarski–Grothendieck set theory

#	Item
1	FORMALIZED MATHEMATICS Number 1, January 1990 Add to Reading List Source URL: markun.cs.shinshu-u.ac.jp Language: English - Date: 2010-06-24 21:10:08 Constructible universe Z notation Boolean algebra Tarski–Grothendieck set theory Constructive set theory Mathematical logic Mathematics Logic
2	STUDIES IN LOGIC, GRAMMAR AND RHETORIC[removed]Gradual Computerisation/Formalisation of Add to Reading List Source URL: mizar.org Language: English - Date: 2010-03-05 21:10:35 Automated proof checking Theoretical computer science Applied mathematics Mizar and Alcor Mizar Mathematics Proof theory Tarski–Grothendieck set theory Correctness Mizar system Formal methods Ursa Major constellation