![book Logic, semantics, metamathematics: Papers from 1923 to 1938](/covers/files_170/2358000/fbf05048f052aa96e3e8f7a402f6e94d-d.jpg)
- Author: Tarski Alfred
- Language: English
- Year: 1983
![book Logic programming](/covers/files_170/2358000/55688da853b88d51ff7d6bad89586b4a-g.jpg)
Logic programming
djvu
- Author: Clark Keith L Taernlund S.-A. (eds.)
- Language: English
- Year: 1982
![book Logic and structure](/covers/files_170/2358000/f859cf4a726b0a7a9fda214cff21686f-g.jpg)
- Author: van Dalen Dirk
- Language: English
- Year: 2013
![book Logic and its applications: Proceedings Dehli, 2011 4th Indian Conference](/covers/files_170/2358000/fdc22df4ba0bb83ebfca4d20364744fe-d.jpg)
- Author: Banerjee Bohua. Seth A. (eds.)
- Language: English
- Year: 2011
![book Logic: techniques of formal reasoning](/covers/files_170/2358000/5e4799327344bdc5e1296dbd77220b3d-g.jpg)
- Author: Montague Richard, Kalish Donald
- Language: English
- Year: 1964
![book Introduction to mathematical logic](/covers/files_170/2358000/1a69a97c84b034eaaec8998e30e74806-g.jpg)
- Author: Mendelson Elliott
- Language: English
- Year: 2010
![book Constructive negations and paraconsistency](/covers/files_170/2358000/0f15b184f10a19280990f8237ee90e81-d.jpg)
- Author: Odincov Sergej P
- Language: English
- Year: 2008
![book Computation as logic](/covers/files_170/2358000/3202cbeba382fb1313723da0669f136a-g.jpg)
Computation as logic
djvu
- Author: Lalement René
- Language: English
- Year: 1993
![book A shorter model theory](/covers/files_170/2357000/5b29795d507e25057a23de2b0d56c708-d.jpg)
- Author: Hodges Wilfrid
- Language: English
- Year: 1997