Logic Colloquium '03
Subtitle: Proceedings of the Annual European Summer (Lecture Notes in Logic)
Contributors: Jouko Vaananen (Editor)
Publisher: Association for Symbolic Logic
Published: February 28, 2006
Language: eng
Format: Paperback
Number of pages: 422
ISBN-13: 9781568812946
Subjects: Mathematical logic; Logic, Symbolic and mathematical; Mathematics; Science/Mathematics; Logic; Congresses
First sentence: 1. Introduction. Classical Finite Model Theory and Descriptive Complexity Theory [25, 17] give results about the expressiveness and complexity of logics over finite relational structures.