Completeness and definability: Applications of the Ehrenfeucht game in second-order and intensional logic [PhD Thesis]
Kees Doets
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).
Categorias:
Ano:
1987
Editora:
University of Amsterdam
Idioma:
english
Páginas:
134
Arquivo:
DJVU, 1.28 MB
IPFS:
,
english, 1987
Amazon 
Barnes & Noble 
Bookshop.org
Quer adicionar a sua livraria? Entre em contato conosco em support@z-lib.do
Converter ficheiros 
Mais resultados de pesquisa
Outros benefícios ![Kees Doets — Completeness and definability: Applications of the Ehrenfeucht game in second-order and intensional logic [PhD Thesis]](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/109592679bc12ded62bd16138b592aef8e258991b6cf33039b99cdd77dd780c0.jpg)
![Rodenburg P.H. — Intuitionistic Correspondence Theory [PhD Thesis]](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/a56707a9e332d8fa876d95ae36604d1bbc2034fc15178f9310505718ce6835d6.jpg)
