FORMALIZED MATHEMATICS Number 1, January 1990

First Page		Document Content
Date: 2010-06-24 21:10:08 Constructible universe Z notation Boolean algebra Tarski–Grothendieck set theory Constructive set theory Mathematical logic Mathematics Logic		FORMALIZED MATHEMATICS Number 1, January 1990 Add to Reading List Source URL: markun.cs.shinshu-u.ac.jp Download Document from Source Website File Size: 54,52 KB Share Document on Facebook