- Hauptmenü-

Kategorienanzeige

MAB

Interpolation and definability: modal and intuitionistic logic
Kategorie	Beschreibung
037b	eng
087q	978-0-19-851174-8
100	Gabbay, Dov M. ¬[VerfasserIn]¬
104b	Maksimova, L. L. ¬[MitwirkendeR]¬
331	Interpolation and definability
335	modal and intuitionistic logic
410	Oxford
412	Oxford University Press
425	2005
425a	2005
433	1 online resource (xiv, 508 p.) : ill.
451	Oxford logic guides ; 46
501	Includes bibliographical references and index. - Description based on print version record
527	Erscheint auch als (Druck-Ausgabe)ISBN: 978-0-19-851174-8
540a	ISBN 978-0-19-170577-9 ebook
540a	ISBN 0-19-170577-2 ebook
700b	\|511.3
750	This monograph looks at interpolation and definability, a notion central in pure logic and with significant meaning and applicability in all areas where logic is applied, especially computer science, artificial intelligence, logic programming philosophy of science, and natural language.
012	1003248721
081	Interpolation and definability
100	E-Book Oxford EBS
125a	Elektronischer Volltext - Campuslizenz
655e	$uhttp://dx.doi.org/10.1093/acprof:oso/9780198511748.001.0001