Estratto da
(UN-)CERTAINTY AND (IN-)EXACTNESS
Proceedings of the 1st CLE Colloquium for Philosophy and Formal Sciences
On the semantics of higher–order logic
(UN-)CERTAINTY AND (IN-)EXACTNESS
Proceedings of the 1st CLE Colloquium for Philosophy and Formal Sciences
On the semantics of higher–order logic
| pagine: | 179-189 |
| DOI: | 10.4399/97888255145136 |
| data pubblicazione: | Aprile 2018 |
| editore: | Aracne |