ENGLISH

Completeness and definability: Applications of the Ehrenfeucht game in second-order and intensional logic [PhD Thesis]

By Kees Doets

Book information

Publisher
University of Amsterdam
Year
1987
Language
english
Format
PDF
Filesize
4 MB (4139514 bytes)
Pages
134\134
Topic
Mathematics Logic
Library
Envoy
DPI
600
Orientation
portrait
Paginated
no
Scanned
yes
Time added
2016-07-11 11:19:35

Description

Dissertation completed under supervision of prof. Johan van Benthem. The dissertation contains results on classical first- and second-order logic (parts I and II) and their intensional colleagues: modal- tense- and intuitionistic (propositional) logic (part III).

Similar books