First Page | Document Content | |
---|---|---|
Date: 2004-03-09 04:39:36Logic Symbol Interpretation Structure Constructible universe Sheaf Function Sigma-algebra Kripke–Platek set theory Mathematics Model theory Mathematical logic | Partiality as nondeterminism Yngve Lamo Michal Walicki AbstractAdd to Reading ListSource URL: www.nik.noDownload Document from Source WebsiteFile Size: 152,99 KBShare Document on Facebook |