Independence-friendly logic without Henkin quantification
Barbero, Fausto; Hella, Lauri; Rönnholm, Raine (2017)
Springer, Berlin
2017
Logic, Language, Information, and Computation. WoLLIC 2017
14-30
Luonnontieteiden tiedekunta - Faculty of Natural Sciences
This publication is copyrighted. You may download, display and print it for Your own personal use. Commercial use is prohibited.