Computational Logic and Proof Theory

By clibrary on Mon, 06/23/2025 - 19:40
Author

Georg Gottlob, Alexander Leitsch, Daniele Mundici

Publisher

Springer

Subject

Computer Science

Year

1993

Vol/Edition

713

ISBN

9783540479437

URL
http://dx.doi.org/10.1007/BFb0022546