Opening book details…
About this scholarly article
Computational Logic and Proof Theory Volume 713 by Gottlob, Georg; Leitsch, Alexander; Mundici, Daniele is a scholarly article available to read on EtoBox.
- Author
- Gottlob, Georg; Leitsch, Alexander; Mundici, Daniele
- Publisher
- Springer-Verlag
- Published
- 1993
- Language
- EN
More by Gottlob, Georg; Leitsch, Alexander; Mundici, Daniele
Browse all works by Gottlob, Georg; Leitsch, Alexander; Mundici, Daniele