
Higher-Order Logic and Type Theory New Edition
Author(s): John L. Bell (Author)
Cambridge University | 2022 | English | 9781108986908 | 88 pages

Author(s): John L. Bell (Author)
Cambridge University | 2022 | English | 9781108986908 | 88 pages

Author(s): Ken Akiba (Editor), Ali Abasnezhad
Springer | 2016 | English | 9789402401059 | 369 pages

Author(s): Robert Trypuz
Springer | 2016 | English | 9789402401974 | 364 pages

Author(s): E. M. Barth (Author), E. C. W. Krabbe (Author)
De Gruyter | 1982 | English | 9783110084894 | 337 pages

Author(s): Michael Winter (Author)
Springer | 2010 | English | 9789048175543 | 220 pages

Author(s): Olga Pombo (Editor), Juan Manuel Torres (Editor), John Symons (Editor), Shahid Rahman (Editor)
Springer | 2014 | English | 9789400792135 | 308 pages

Author(s): Henrique Antunes (Editor), Alfredo Roque Freire (Editor), Abilio Rodrigues (Editor)
Springer | 2026 | English | 9783032110268 | 612 pages

Author(s): James W. Garson (Author)
Cambridge University | 2013 | English | 9781107504967 | 505 pages

Author(s): Katherine Hawley (Editor), Fiona Macpherson
Wiley-Blackwell | 2011 | English | 9781444343908 | 208 pages

Author(s): Michael Winter (Author)
Springer | 2007 | English | 9781402061646 | 220 pages