7 results on '"Dimitracopoulos, C."'
Search Results
2. A Note on the Undefinability of Cuts
3. A Note on Exponentiation
4. Hilbert's Tenth Problem Yuri V. Matiyasevich Martin Davis
5. Advances in Linear Logic Jean-Yves Girard Yves Lafont Laurent Regnier
6. Models of Peano Arithmetic Richard Kaye
7. Nonstandard Models and Related Developments C. Smoryński
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.