Home›Books›CafeCafeby Kokichi FutatsugiNo description available.Formal methods (Computer science)CongressesAlgebraic logic