Interpolation and Definability

Modal and Intuitionistic Logic

Department of Computer Science Dov M Gabbay, Institute of Mathematics Larisa Maksimova (Autoren)

Online Resource

2007
Clarendon Press (Hersteller)
9780191705779 (ISBN)

Produkt-Details

• Erscheint lt. Verlag: 1.9.2007
• Sprache: englisch
• Themenwelt: Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
• ISBN-13: 9780191705779 / 9780191705779
• Zustand: Neuware