A logical and algebraic treatment of con
โ
Tommaso Flaminio; Franco Montagna
๐
Article
๐
2004
๐
Springer
๐
English
โ 237 KB