Titlebook: Logic and Algebra of Specification; Friedrich L. Bauer,Wilfried Brauer,Helmut Schwicht Conference proceedings 1993 Springer-Verlag Berlin

REP

0258-1248 inlogic. These newdevelopments in logic are partly based on the useofalgorithmic techniques in deduction and proving methods, butare alsodue to new theoretical advances, to a great extentstimulated by computer science, which have led to new typesof logic and new logical calculi. Thenew techniques,me