AA An accompaniment to higher mathematics by Exner, George R. fromUndergraduate texts in mathematics 0 Type: Book
AP Automated proof search in non-classical logics: efficient matrix proof methods for modal and intu… by Wallen, Lincoln A. fromMIT Press series in artificial intelligence 0 Type: Book
