Citation: Lappin, Shalom and Fox, C and Pollard, C (2002) Intensional First-Order Logic with Types.
![[img]](https://sas-space.sas.ac.uk/style/images/fileicons/application_pdf.png)
UNSPECIFIED
Metadata
| Additional Information: | Citation: In G. Alberti, K. Balough, and P. Dekker (eds.), "Proceedings of the Seventh Symposium for Logic and Language", 47-56. |
|---|---|
| Creators: | Lappin, Shalom and Fox, C and Pollard, C and |
| Subjects: | Philosophy |
| Keywords: | First-order logic, Types |
| Divisions: | Institute of Philosophy |
| Collections: | London Philosophy Papers |
| Dates: |
|
| Comments and Suggestions: | Description/Provenance: Submitted by Mark McBride (mark.mcbride@sas.ac.uk) on 2008-01-14T19:36:57Z
No. of bitstreams: 1
S_Lappin_Types.pdf: 240029 bytes, checksum: 8da94f7b1b1f690551f34bfbe33d7d63 (MD5);
Description/Provenance: Made available in DSpace on 2008-01-14T19:36:57Z (GMT). No. of bitstreams: 1
S_Lappin_Types.pdf: 240029 bytes, checksum: 8da94f7b1b1f690551f34bfbe33d7d63 (MD5)
Previous issue date: 2002. Date accessioned: 2008-01-14T19:36:57Z; Date available: 2008-01-14T19:36:57Z; Date issued: 2002. |