![book Notions and theorems of elementary formal logic](/covers/files_170/2359000/f206e4025477c24085595d8ec48bfdd4-d.jpg)
- Author: Pogorzelski Witold Adam
- Language: English
- Year: 1994
![book Mathematical logic](/covers/files_170/2358000/e6502ab22f7c1c09f105c0cdd9e019cb-g.jpg)
Mathematical logic
djvu
- Author: Monk James Donald
- Language: English
- Year: 1976
![book Categorical Logic and Type Theory](/covers/files_170/2339000/f8356ea1689cde83dee128c27fac6bac-d.jpg)
- Author: Bart Jacobs
- Language: English
- Year: 2005
![book Logic of Statistical Inference](/covers/files_170/2131000/af474b757894ad08272e2d3fbadd3e60-d.jpg)
- Author: Ian Hacking Jan-Willem Romeijn
- Language: English
- Year: 2016
![book Ordered Exponential Fields](/covers/files_170/2131000/ccd92e027dd5e76f33964ebefcab1d5b-d.jpg)
- Author: Salma Kuhlmann
- Language: English
- Year: 2000