Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference16 articles.
1. R. Goldblatt, Topoi, Studies in Logic and the Foundations of Mathematics 98, North-Holland, Amsterdam, 1979.
2. S. C. Kleene, Permutability of inferences in Gentzen's LK and LJ, Memoirs of the American Mathematical Society 10 (1952), pp. 1?26.
3. J. Lambek, The mathematics of sentence structure, American Math. Monthly 65 (1958), pp. 154?169.
4. J. Lambek, On the calculus of syntactic types, Amer. Math. Soc. Proc. Symposia Appl. Math. 12 (1961), pp. 166?178.
5. J. Lambek, Deductive systems and categories I, Mathematical Systems Theory 2 (1968), pp. 76?122.