![](https://www.pdfsearch.io/img/51e46871671935b0ad9c1f028341a2cf.jpg) Date: 2011-10-08 01:03:35
| | Intuitionistic Completeness of First-Order Logic Robert Constable and Mark Bickford October 7, 2011 Abstract We establish completeness for intuitionistic first-order logic, iFOL, showing that is a formulaAdd to Reading ListSource URL: www.nuprl.orgDownload Document from Source Website File Size: 413,31 KBShare Document on Facebook
|