![Boolean algebra / Forcing / Metalogic / Lambda calculus / Boolean-valued model / Constructible universe / FO / Model theory / Combinatory logic / Mathematical logic / Mathematics / Theoretical computer science Boolean algebra / Forcing / Metalogic / Lambda calculus / Boolean-valued model / Constructible universe / FO / Model theory / Combinatory logic / Mathematical logic / Mathematics / Theoretical computer science](https://www.pdfsearch.io/img/6796d55049517c9af09880c10bbd4e23.jpg)
| Document Date: 2013-08-27 15:54:05 Open Document File Size: 648,00 KBShare Result on Facebook
Facility Mathematics University of California / / Organization Calculi Dana S. Scott University / University of California / Berkeley / Carnegie Mellon University / / Person Emeritus Carnegie / / Position Professor / / ProvinceOrState California / /
SocialTag |