Completeness and definability: Applications of the...

Main
Mathematics - Logic
Completeness and definability:...

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

Kees Doets

0 / 0

0 comments

이 책이 얼마나 마음에 드셨습니까?

파일의 품질이 어떻습니까?

책의 품질을 평가하시려면 책을 다운로드하시기 바랍니다

다운로드된 파일들의 품질이 어떻습니까?

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).

카테고리:

Mathematics - Logic

년:

1987

출판사:

University of Amsterdam

언어:

english

페이지:

134

파일:

DJVU, 1.28 MB