E-Book, Englisch, 0 Seiten
Bell Higher-Order Logic and Type Theory
Erscheinungsjahr 2022
ISBN: 978-1-108-99195-7
Verlag: Cambridge University Press
Format: PDF
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
E-Book, Englisch, 0 Seiten
Reihe: Elements in Philosophy and Logic
ISBN: 978-1-108-99195-7
Verlag: Cambridge University Press
Format: PDF
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)