- Author: Harish Garg
- Language: English
- Year: 2022
- Author: Jeremy Avigad
- Language: English
- Year: 2022
- Author: Jean-Yves Beziau Ioannis Vandoulakis
- Language: English
- Year: 2022
公理化集合论(纠斜+书签)
pdf
数理逻辑教程(纠斜+书签)
pdf
- Author: W. Hugh Woodin
- Language: English
- Year: 2010
- Author: Gérard Potdevin
- Language: French
- Year: 1990
A logika elemei
pdf
- Author: Bóta László
- Language: Hungarian
- Year: 2011
- Author: Хенрик Бринк Джозеф Ричардс Марк Феверолф
- Language: Русский
- Year: 2017
- Author: Stanley N. Burris
- Language: English
- Year: 1998