![book Theoretische Informatik: Eine umfassende Einführung](/covers/files_170/3861000/7dad6a5a1f6db7617723b3b851b4570b-g.jpg)
- Author: Lutz Priese Katrin Erk
- Language: German
- Year: 2018
![book Mathematical logic and model theory: a brief introduction](/covers/files_170/2749000/b31987d687d17a5bfb57aa541abf931e-g.jpg)
- Author: Prestel Alexander, Delzell Charles N
- Language: English
- Year: 2011
![book Logic: A Brief Course](/covers/files_170/2727000/f6a8ff30062f6f9e56fb1b1e09c5820a-g.jpg)
- Author: Mundici Daniele
- Language: English
- Year: 2012
![book Logic: a brief course](/covers/files_170/2727000/2bbda221ab142424af5ace80ded93d03-g.jpg)
- Author: Mundici Daniele
- Language: English
- Year: 2012
![book Logic and structure](/covers/files_170/2691000/da77f1292c598bb8af9f345af7845706-g.jpg)
- Author: Dalen Dirk
- Language: English
- Year: 2013
![book Вводный курс математической логики](/covers/files_170/2359000/48994500a2b6c0570ae8c7bb2d1918b8-g.jpg)
- Author: Успенский В.А. Верещагин Н.К. Плиско В.Е.
- Language: Русский
- Year: 2007
![book Sets, functions, and logic: an introduction to abstract mathematics](/covers/files_170/2359000/df074ebe08df973a03bc340d811781c0-d.jpg)
- Author: Devlin Keith J.
- Language: English
- Year: 2004
![book Proof theory: (based on a series of lectures at the Symposium on intuitionism and proof theory held at Buffalo 1968)](/covers/files_170/2359000/a9ef693323431b5f50a1f76f9640474c-g.jpg)
- Author: Takeuti Gaisi
- Language: English
- Year: 1987
![book Mathematical logic and programming languages](/covers/files_170/2358000/87e2b5e29cc69d9247043b6a5a2118a9-g.jpg)
- Author: Hoare Charles Antony Richard Shepherdson J.C. (eds.)
- Language: English
- Year: 1985
![book Logicism renewed: Logical foundations for mathematics and computer science](/covers/files_170/2358000/d4a1e4929163bee0e152fbaae05dd091-d.jpg)
- Author: Gilmore Paul Carl
- Language: English
- Year: 2005