Gentzen-like methods in quantum logic (1999)

by Uwe Egly , Hans Tompits
Venue:IN TABLEAUX’99
Citations:2 - 0 self