Remark on the history of Boolean models September 14, 2013 Introduction In [4], D. Scott refers to an early presentation of Boolean-valued model, due to P. Lagerstr¨om, which is described in [2]. What is presented howev

First Page		Document Content
Date: 2013-09-14 11:09:50		Remark on the history of Boolean models September 14, 2013 Introduction In [4], D. Scott refers to an early presentation of Boolean-valued model, due to P. Lagerstr¨om, which is described in [2]. What is presented howev Add to Reading List Source URL: www.cse.chalmers.se Download Document from Source Website File Size: 95,20 KB Share Document on Facebook