2 citations · 2 across the 1 of their papers we have counts for
1 paper
Joseph A. Goguen
This book can be seen either as a text on theorem proving that uses techniques from general algebra, or else as a text on general algebra illustrated and made concrete by practical…