ENGLISH

Proof methods for modal and intuitionistic logics

By Gabriel , Donald; Hintikka , Jaakko; Nuchelmans , Fitting M. ;Davidson

Book information

Publisher
D.Reidel,Springer Netherlands
Year
1983
ISBN
978-94-017-2794-5, 9401727945, 978-90-481-8381-4
Language
english
Format
DJVU
Filesize
3 MB (3114010 bytes)
Series
Synthese library 169
Pages
563\564
Topic
Mathematics Logic
Library
kolxo3
Time added
2019-04-25 18:00:00
Logic.

Similar books