Handbook of Philosophical Logic Volume 15 /
Lambda Calculi: A Guide Interpolation and Definability Discourse Representation Theory.
Συγγραφή απο Οργανισμό/Αρχή: | SpringerLink (Online service) |
---|---|
Άλλοι συγγραφείς: | Gabbay, Dov M. (Επιμελητής έκδοσης), Guenthner, Franz (Επιμελητής έκδοσης) |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Dordrecht :
Springer Netherlands,
2011.
|
Σειρά: | Handbook of Philosophical Logic ;
15 |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Παρόμοια τεκμήρια
-
Handbook of Philosophical Logic Volume 16 /
Έκδοση: (2011) -
Handbook of Philosophical Logic Volume 17 /
Έκδοση: (2014) -
Handbook of Philosophical Logic Volume 18 /
Έκδοση: (2018) -
Temporal Logic From Ancient Ideas to Artificial Intelligence /
ανά: Øhrstrøm, Peter, κ.ά.
Έκδοση: (1995) -
Logics and Falsifications A New Perspective on Constructivist Semantics /
ανά: Kapsner, Andreas
Έκδοση: (2014)