![Set theory / Type theory / Model theory / Z notation / Automath / Axiom of choice / Axiom schema of replacement / New Foundations / Axiom / Mathematical logic / Logic / Mathematics Set theory / Type theory / Model theory / Z notation / Automath / Axiom of choice / Axiom schema of replacement / New Foundations / Axiom / Mathematical logic / Logic / Mathematics](https://www.pdfsearch.io/img/74f272c6ad78c0f2c9a8332c5a206e67.jpg)
| Document Date: 2008-04-30 04:22:51 Open Document File Size: 162,33 KBShare Result on Facebook
Facility University of Nijmegen Toernooiveld / Automath restaurant / / IndustryTerm machinery / logical systems / foundational systems / simpler systems / proper type systems / kosher food / / MarketIndex set 20 / / Organization University of Nijmegen Toernooiveld / Freek Wiedijk Department of Computer Science / / Person Stefan Berghofer / Randall Holmes / Bob Solovay / Peter Aczel / Mark Balaguer / / Position EQ_MP / / Technology http / / URL www.advogato.org/person/raph/diary.html?start=265 / http /
SocialTag |