Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: The Syntax And Semantics Of Infinitary Languages
Автор: Barwise J.
Аннотация:
This book grew out of a symposium on infinitary logic held at UCLA, on December 28-50, 1967. The purpose of the book is to make much of the current work in infinitary logic available to the student as quickly as possible. Many of the papers represent work in progress; it is expected that they will appear elsewhere in final form.