![book Algorithmic Randomness and Complexity](/covers/files_170/3759000/c10c54cda1edf271eedd52ebc28b2113-g.jpg)
- Author: Rodney G. Downey Denis R. Hirschfeldt
- Language: English
- Year: 2010
![book Mathematical Logic: An Introduction](/covers/files_170/3758000/cde1db985105ebdbd0b5e4f10e2aec30-d.jpg)
- Author: Daniel Cunningham
- Language: English
- Year: 2023
![book Mathematical Logic: An Introduction](/covers/files_170/3757000/18270663128ab569ee1a3e20ce8ca90a-g.jpg)
- Author: Daniel Cunningham
- Language: English
- Year: 2023
![book Logic and Computation](/covers/files_170/3725000/c926d5b96b379fa4990e5ffdef0350c7-g.jpg)
- Author: Răzvan Diaconescu
- Language: English
- Year: 2023
![book Introductory Modal Logic](/covers/files_170/3724000/54bba3a67fb756ca6166156981638187-g.jpg)
- Author: Kenneth Konyndyk
- Language: English
- Year: 1986
![book Beyond First Order Model Theory, Volume II](/covers/files_170/3722000/43971f722396f5e717e02e767c19b87f-g.jpg)
- Author: Jose Iovino
- Language: English
- Year: 2023
![book Mathematical Logic: Revised Edition](/covers/files_170/3721000/2a526bcba4c03fd1dafb218153acfbc0-g.jpg)
- Author: Willard Van Orman Quine
- Language: English
- Year: 1951
![book Book of Proof](/covers/files_170/3720000/b2a73eb4d2c86dac40e46973f9ca98e3-g.jpg)
Book of Proof
pdf
- Author: Richard Hammack
- Language: English
- Year: 2020
![book Θεωρία Συνόλων](/covers/files_170/3719000/a0d706691027421a9a3145f2adc64076-d.jpg)
Θεωρία Συνόλων
pdf
- Author: Δημήτρης Α. Γεωργίου Γιάννης Κούγιας Μεγαρίτης Αθανάσιος
- Language: Greek
- Year: 2017
![book A Modern Formal Logic Primer: Sentence Logic + Predicate Logic](/covers/files_170/3718000/964eccae42101cbcf7427b301d5ea6ec-g.jpg)
- Author: Paul Teller
- Language: English
- Year: 1989