![book An Invitation to Applied Category Theory: Seven Sketches in Compositionality](/covers/files_170/2564000/e8776f2b6bb204a0f800f0b8d65c8518-g.jpg)
- Author: Brendan Fong David I. Spivak
- Language: English
- Year: 2019
![book Introducción a las lógicas no clásicas](/covers/files_170/3224000/53d03442cfd626244b030120aee94c65-g.jpg)
- Author: Lorenzo Peña
- Language: Spanish
- Year: 1993
![book Deontic logic : a comprehensive appraisal and a new proposal](/covers/files_170/3220000/5a16a53075e619342e9b33be2f9571c9-d.jpg)
- Author: Azizah al-Hibri
- Language: English
- Year: 1978
![book Studies in Weak Arithmetics](/covers/files_170/3213000/49ee3ec51150191935db533909135a38-g.jpg)
- Author: Patrick Cegielsky Ali Enayat Roman Kossak (eds.)
- Language: English
- Year: 2016
![book Lógica](/covers/files_170/3211000/92d119ec3345f4c289e4bdc4acd301e5-g.jpg)
Lógica
pdf
- Author: Wesley C. Salmon
- Language: Portuguese
- Year: 1973
![book منطق موجهات و شهودگرایی](/covers/files_170/3208000/f130c48e5232a0931e7c6baecf16d73a-g.jpg)
- Author: محمد اردشیر
- Language: فارسی
- Year: 2022
![book The Hitchhiker’s Guide to Logical Verification](/covers/files_170/3207000/c3a0cb9db23a3216b1baafeb7f18093a-g.jpg)
- Author: Anne Baanen Alexander Bentkamp Jasmin Blanchette Johannes Hölzl Jannis Limperg
- Language: English
- Year: 2021
![book Математическая логика и теория алгоритмов](/covers/files_170/3204000/b6ce4ecf4eb7bd7dcb82153f7f99e866-g.jpg)
- Author: А.Н. Макоха А.В. Шапошников В.В. Бережной
- Language: Русский
- Year: 2017
![book Proof Analysis: A Contribution to Hilbert’s Last Problem](/covers/files_170/3203000/bc8623585765bad5b045c7dc9bc6cafd-g.jpg)
- Author: Sara Negri Jan von Plato
- Language: English
- Year: 2011
![book Logic](/covers/files_170/3190000/013e87f91e6943d44cdadbbdcbde0edc-g.jpg)
Logic
pdf
- Author: Wilfrid Hodges
- Language: English
- Year: 1977