Cover Image
Read Now

1
by Bolc, Leonard, Borowik, Piotr
Published 1992
Springer Berlin Heidelberg
“... calculi. Matrix constructions, axiomatizations of propositional and predicate calculi, syntax, semantic...”