Handbook of Philosophical Logic Volume 15 /
Lambda Calculi: A Guide Interpolation and Definability Discourse Representation Theory.
| Corporate Author: | SpringerLink (Online service) |
|---|---|
| Other Authors: | Gabbay, Dov M. (Editor), Guenthner, Franz (Editor) |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Dordrecht :
Springer Netherlands,
2011.
|
| Series: | Handbook of Philosophical Logic ;
15 |
| Subjects: | |
| Online Access: | Full Text via HEAL-Link |
Similar Items
-
Handbook of Philosophical Logic Volume 16 /
Published: (2011) -
Handbook of Philosophical Logic Volume 17 /
Published: (2014) -
Handbook of Philosophical Logic Volume 18 /
Published: (2018) -
Temporal Logic From Ancient Ideas to Artificial Intelligence /
by: Øhrstrøm, Peter, et al.
Published: (1995) -
Logics and Falsifications A New Perspective on Constructivist Semantics /
by: Kapsner, Andreas
Published: (2014)