Higher-Order Logic and Type Theory
by John L. Bell Paperback 2022
- Author: John L. Bell
- ISBN 13: 9781108986908
- ISBN 10: 1108986900
- Publication Year: 2022
- Language: English
Specifications
Index-101108986900
LanguageEnglish
Index-139781108986908
Period-
Class Track-
Publisher- (2022)
Pages-