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
Πίνακας περιεχομένων:
  • Editorial Preface
  • Dov M. Gabbay
  • Lambda Calculi: A Guide
  • Chris Hankin
  • Interpolation and Definability
  • Dov Gabbay and Larisa L. Maksimova
  • Discourse Representation Theory
  • Hans Kamp, Josef van Genabith and Uwe Reyle
  • Index.