An accompaniment to higher mathematics by Exner, George R. fromUndergraduate texts in mathematics 0 Type: Book
An accompaniment to higher mathematics by Exner, George R. fromUndergraduate texts in mathematics 0 Type: Book
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
Modern cryptography, probabilistic proofs and pseudorandomness by Goldreich, Oded fromAlgorithms and combinatorics 0 Type: Book
Logic for concurrency and synchronisation by Queiroz, Ruy J. G. B. de fromTrends in Logic, Studia Logica Library 0 Type: Book
Adapting proof-as-programs: the Curry-Howard protocol by Poernomo, Iman Hafiz, Wirsing, Martin, Crossley, John Newsome fromMonographs in Computer Science 0 Type: Book
