Logic Colloquium' 96

This volume contains eleven contributions by invited speakers at the annual Logic Colloquium which was held in San Sebastian, Spain, in July 1996. They cover model theory, proof theory, recursion and complexity theory, logic for artificial intelligence and formal semantics of natural languages, and include both recent results and survey articles on the central topics in logic written by specialists for a wide audience.

שנה

1998

שפה

English

סדרה

Lecture Notes in Logic -- 12

הוצאה

Springer Berlin Heidelberg

מהדורות

1

עמודים

265

ISBN

9783662221105

מקור הנתונים: Wikidata