- On the interpretation of intuitionistic number theory S. C. Kleene Fri 02 March 2012
- Saul A. Kripke. Semantical analysis of intuitionistic logic I. Formal systems and recursive functions G. Kreisel Fri 02 March 2012
- N. Chomsky and M. P. Schützenberger. The algebraic theory of context-free languages. Computer programming and formal systems, edited by P. Braffort and D. Hirschberg, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1963, pp. 118textendash161. G. H. Matthews Fri 02 March 2012
- Definability in the monadic second-order theory of successor J. Richard Buchi Lawrence H. Landweber Fri 02 March 2012
- Intensional interpretations of functionals of finite type I W. W. Tait Fri 02 March 2012
- 'U. V. Matiásévič Diofantovosttextquotesingle péréčislimyh mnożéstv. Doklady Akadémii Nauk SSSR, vol. 191 (1970), pp. 279--282. - Ju. V. Matijasevič. Enumerable sets are diophantine. English translation of the preceding by A. Doohovskoy. Soviet mathematics, vol. 11 no. 2 (1970), pp. 354--357. See Errata, ibid., vol. 11 no. 6 (for 1970, pub. 1971), p. vi. Julia Robinson Fri 02 March 2012
- Michael O. Rabin. Decidability of second-order theories and automata on infinite trees. Dirk Siefkes Fri 02 March 2012
- Ordinal recursion, and a refinement of the extended Grzegorczyk hierarchy S. S. Wainer Fri 02 March 2012
- A filter lambda model and the completeness of type assignment Henk Barendregt Mario Coppo Mariangiola Dezani-Ciancaglini Fri 02 March 2012
- Théories instables Bruno Poizat Fri 02 March 2012
- Monadic second order definable relations on the binary tree Hans Läuchli Christian Savioz Fri 02 March 2012
- Intuitionistic tense and modal logic W. B. Ewald Fri 02 March 2012
- H. P. Barendregt. The lambda calculus. Its syntax and semantics E. Engeler Fri 02 March 2012
- Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals Marc Bezem Fri 02 March 2012
- Quantales and (noncommutative) linear logic David N. Yetter Fri 02 March 2012
- Kurt Gödel. Über die Vollständigkeit des Logikkalküls (1929). Collected Works, Volume I, Publications 1929-1936 Martin Davis Fri 02 March 2012
- Undecidable semiassociative relation algebras Roger D. Maddux Fri 02 March 2012
- Games and full completeness for multiplicative linear logic Samson Abramsky Radha Jagadeesan Fri 02 March 2012
- A semantics of evidence for classical arithmetic Thierry Coquand Fri 02 March 2012
- Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic Jan Krajíček Fri 02 March 2012
Library Size: 13G (12942 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
