Limit search to available items
Book Cover
E-book
Author Ebbing, Johannes

Title Complexity and Expressivity of Dependence Logic Extensions
Published Göttingen : Cuvillier Verlag, 2014

Copies

Description 1 online resource (115 pages)
Contents Zusammenfassung; Abstract; Contents; Chapter 1 INTRODUCTION; Chapter 2 PRELIMINARIES; Chapter 3 QUANTIFIER EXTENSIONS ON FIRST ORDER DEPENDENCE LOGIC; Chapter 4 EXTENDED MODAL DEPENDENCE LOGIC; Chapter 5 PARTIALLY ORDERED CONNECTIVES AND QUANTIFIERS; Chapter 6 CONCLUSION; Chapter 7 ACKNOWLEDGEMENTS; Bibliography; Index; LEBENSLAUF
Bibliography Includes bibliographical references and index
Notes Print version record
Subject Logic.
Logic
Form Electronic book
ISBN 9783736946293
3736946295