Cover Image
Read Now

1
Published 1999
Springer Netherlands
“... area 2. a semantical interpretation 3. a proof theoretical formulation. There are several types...”