29 results on '"Gaspar, Jaime"'
Search Results
2. Intuitionistic nonstandard bounded modified realisability and functional interpretation
3. Todas as afirma\c{c}\~oes verdadeiras s\~ao demonstr\'aveis
4. Copies of classical logic in intuitionistic logic
5. A theorem with constructive and non-constructive proofs
6. Variants into minimal logic of the Kuroda negative translation
7. Negative translations not intuitionistically equivalent to the usual ones
8. On Tao's 'finitary' infinite pigeonhole principle
9. Factorization of the Shoenfield-like bounded functional interpretation
10. Proof Without Words : Using Trapezoids to Compute Triangular Numbers
11. Intuitionistic nonstandard bounded modified realisability and functional interpretation
12. Hardwiring truth in functional interpretations
13. Nonstandardness and the bounded functional interpretation
14. Negative Translations Not Intuitionistically Equivalent to the Usual Ones
15. El liderazgo transformacional y trabajo colaborativo en docentes de la Institución Educativa N° 31501 'Sebastián Lorente' Huancayo
16. Simple composition theorems of one-way functions -- proofs and presentations
17. Copies of Classical Logic in Intuitionistic Logic
18. Proof interpretations: theoretical and practical aspects
19. Negative Translations Not Intuitionistically Equivalent to the Usual Ones
20. Proof interpretations with truth
21. On Tao's “finitary” infinite pigeonhole principle
22. Factorization of the Shoenfield-like Bounded Functional Interpretation
23. Direct Proof of the Uncountability of the Transcendental Numbers
24. Prontuario de la teologia moral
25. Vida de Napoleon Bonaparte : precedida de un bosquejo preliminar de la Revolucion Francesa
26. All Triangles at Once.
27. Non-recursive Polynomial Formula for the Sum of the Powers of the Integers
28. A Theorem with Constructive and Nonconstructive Proofs
29. Encontros com o infinito
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.