Logic, algebra, and computation - Bauer, Friedrich L., 1924-2015 (NATO advanced science institutes series. Computer and systems sciences ;, 1991)