Department Affiliates
Department Activity
Details
Also at Indiana University, Bloomington
-
Valeria de Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel Leivant, and Anjolina G. De Oliveira, Logic, Language, Information, and Computation: 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings (Lecture Notes in Computer Science Book 9160)Springer. 2015.
-
Daniel M. Leivant, Syntactic translations and provably recursive functionsJournal of Symbolic Logic 50 (3): 682-688. 1985.
-
Daniel M. Leivant, Implicational complexity in intuitionistic arithmeticJournal of Symbolic Logic 46 (2): 240-248. 1981.
-
Daniel M. Leivant, On the proof theory of the modal logic for arithmetic provabilityJournal of Symbolic Logic 46 (3): 531-538. 1981.
-
-
Daniel M. Leivant, Assumption Classes in Natural DeductionMathematical Logic Quarterly 25 (1-2): 1-4. 1979.