Reflection Principles in Computational Logic (1997)

Cached

Download Links

by Jonas Barklund , Pierangelo Dell'Acqua , Stefania Costantini , Gaetano A. Lanzarone
Venue:Journal of Logic and Computation
Citations:10 - 6 self