![book Computable Structure Theory: Within the Arithmetic](/covers/files_170/3021000/010211eb4da26d8175255d5fd293dcff-g.jpg)
- Author: Antonio Montalbán
- Language: English
- Year: 2021
![book Admissible Sets and Structures](/covers/files_170/2523000/b023cf127ccdbdac396c4d2e2c3fb3f7-g.jpg)
- Author: Jon Barwise
- Language: English
- Year: 2017
![book Admissible Sets and Structures](/covers/files_170/2523000/5984313d9a02950b79fd30fd05816db4-g.jpg)
- Author: Jon Barwise
- Language: English
- Year: 2017
![book Model-Theoretic Logics](/covers/files_170/2523000/ab76097f2fcd48287ddfab8956312e07-g.jpg)
- Author: J. Barwise (editor) S. Feferman (editor)
- Language: English
- Year: 2017
![book General Recursion Theory: An Axiomatic Approach](/covers/files_170/2523000/edd2d48f07c6a012dce50142f72d7eae-g.jpg)
- Author: Jens E. Fenstad
- Language: English
- Year: 2017
![book Recursion-Theoretic Hierarchies](/covers/files_170/2464000/a865752528e6bccec822a0e389d01b3b-g.jpg)
- Author: Peter G. Hinman
- Language: English
- Year: 2017
![book Essential Stability Theory](/covers/files_170/2464000/51446e7ae94abd130d6b26cefe91bc88-g.jpg)
- Author: Steven Buechler
- Language: English
- Year: 2017
![book Higher Recursion Theory](/covers/files_170/2464000/d20bb59480a12b80c18d7e47e502e6b2-g.jpg)
- Author: Gerald E. Sacks
- Language: English
- Year: 2017
![book Admissible Sets and Structures](/covers/files_170/2461000/9ea0fd1c75c1df30eed77f8e998ce990-g.jpg)
- Author: Jon Barwise
- Language: English
- Year: 2017
![book Lambda Calculus with Types](/covers/files_170/2436000/3901cfc3e5f093bba9fa3e55494d3c4b-g.jpg)
- Author: Henk Barendregt Wil Dekkers Richard Statman
- Language: English
- Year: 2013