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
Περιγραφή
Περίληψη:Lambda Calculi: A Guide Interpolation and Definability Discourse Representation Theory.
Φυσική περιγραφή:XIV, 402 p. online resource.
ISBN:9789400704855