40 results
An Extension of the Formulas-as-Types Paradigm
-
- Journal:
- Dialogue: Canadian Philosophical Review / Revue canadienne de philosophie / Volume 36 / Issue 1 / Winter 1997
- Published online by Cambridge University Press:
- 13 April 2010, pp. 33-44
-
- Article
- Export citation
Least fixpoints of endofunctors of cartesian closed categories
-
- Journal:
- Mathematical Structures in Computer Science / Volume 3 / Issue 2 / June 1993
- Published online by Cambridge University Press:
- 04 March 2009, pp. 229-257
-
- Article
- Export citation
Kosta Došen. Deductive completeness. The bulletin of symbolic logic, vol. 2 (1996), pp. 243–283.
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 3 / September 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1185-1186
- Print publication:
- September 1998
-
- Article
- Export citation
Programs, Grammars and Arguments: A Personal View of some Connections between Computation, Language and Logic
-
- Journal:
- Bulletin of Symbolic Logic / Volume 3 / Issue 3 / September 1997
- Published online by Cambridge University Press:
- 15 January 2014, pp. 312-328
- Print publication:
- September 1997
-
- Article
- Export citation
Bilinear logic in algebra, and linguistics
-
-
- Book:
- Advances in Linear Logic
- Published online:
- 17 February 2010
- Print publication:
- 22 June 1995, pp 43-60
-
- Chapter
- Export citation
Michael Moortgat. Categorical investigations. Logical and linguistic aspects of the Lambek calculus. Groningen-Amsterdam studies in semantics, no. 9. Foris Publications, Dordrecht and Providence1988, xiii + 285 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 3 / September 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1143-1146
- Print publication:
- September 1992
-
- Article
- Export citation
Grammar as Mathematics
-
- Journal:
- Canadian Mathematical Bulletin / Volume 32 / Issue 3 / 01 September 1989
- Published online by Cambridge University Press:
- 20 November 2018, pp. 257-273
- Print publication:
- 01 September 1989
-
- Article
-
- You have access
- Export citation
Localization of Right Noetherian Rings at Semiprime Ideals
-
- Journal:
- Canadian Journal of Mathematics / Volume 26 / Issue 5 / October 1974
- Published online by Cambridge University Press:
- 20 November 2018, pp. 1069-1085
- Print publication:
- October 1974
-
- Article
-
- You have access
- Export citation
On the Representation of Modules by Sheaves of Factor Modules
-
- Journal:
- Canadian Mathematical Bulletin / Volume 14 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 20 November 2018, pp. 359-368
- Print publication:
- September 1971
-
- Article
-
- You have access
- Export citation
Introduction à l'algèbre homologique. Par J. M. Maranda. Les Presses de l'Université de Montréal, Montréal (1966). 50 pp.
-
- Journal:
- Canadian Mathematical Bulletin / Volume 13 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 02 July 2019, p. 286
- Print publication:
- June 1970
-
- Article
-
- You have access
- Export citation
Idealtheorie. by Wolfgang Krull. Ergebnisse der Math 28 Springer-Verlag, Berlin (1968). xii+160 pp.
-
- Journal:
- Canadian Mathematical Bulletin / Volume 13 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 02 July 2019, p. 287
- Print publication:
- June 1970
-
- Article
-
- You have access
- Export citation
Some New Books on Logic
-
- Journal:
- Canadian Mathematical Bulletin / Volume 12 / Issue 3 / June 1969
- Published online by Cambridge University Press:
- 01 April 2019, pp. 379-381
- Print publication:
- June 1969
-
- Article
-
- You have access
- Export citation
Les fonctions combinatoires et les isols, by J. C. E. Dekker. Paris, 1966. Collection de logique mathématique, série A No. 22. Gauthier-Villars. 74 pages.
-
- Journal:
- Canadian Mathematical Bulletin / Volume 12 / Issue 1 / February 1969
- Published online by Cambridge University Press:
- 01 April 2019, p. 110
- Print publication:
- February 1969
-
- Article
-
- You have access
- Export citation
The basic laws of arithmetic, by Gottlob Frege. Translated and edited by Montgomery Furth. University of California Press, 1967. lxiii + 144 pages. Paperback $1.95.
-
- Journal:
- Canadian Mathematical Bulletin / Volume 11 / Issue 2 / June 1968
- Published online by Cambridge University Press:
- 01 April 2019, p. 348
- Print publication:
- June 1968
-
- Article
-
- You have access
- Export citation
A theory of sets, by Anthony P. Morse. Academic Press, New York, 1965. xxxii + 130 pages. $7.95.
-
- Journal:
- Canadian Mathematical Bulletin / Volume 11 / Issue 2 / June 1968
- Published online by Cambridge University Press:
- 01 April 2019, pp. 354-355
- Print publication:
- June 1968
-
- Article
-
- You have access
- Export citation
From Frege to Gödel, edited by Jean van Heijenoort. (A source book in mathematical logic, 1879-1931). Cambridge, Mass., Saunders of Toronto, 1967. x+660 pages. $18.50.
-
- Journal:
- Canadian Mathematical Bulletin / Volume 11 / Issue 2 / June 1968
- Published online by Cambridge University Press:
- 01 April 2019, pp. 346-348
- Print publication:
- June 1968
-
- Article
-
- You have access
- Export citation
Polish logic, 1920-1939, edited by Storrs McCall. Oxford University Press, 1967. viii + 406 pages. $15.00.
-
- Journal:
- Canadian Mathematical Bulletin / Volume 11 / Issue 2 / June 1968
- Published online by Cambridge University Press:
- 01 April 2019, p. 346
- Print publication:
- June 1968
-
- Article
-
- You have access
- Export citation
On the syllogism, by Augustus de Morgan. Edited by Peter Heath. Yale University Press, 1966. Distributed by McGill University Press, xxxi + 355 pages. $10.00.
-
- Journal:
- Canadian Mathematical Bulletin / Volume 11 / Issue 2 / June 1968
- Published online by Cambridge University Press:
- 01 April 2019, p. 348
- Print publication:
- June 1968
-
- Article
-
- You have access
- Export citation
536 Puzzles and curious problems, by Henry E. Dudenay Saunders of Toronto Ltd., 1967. 428 pages. $9.75.
-
- Journal:
- Canadian Mathematical Bulletin / Volume 11 / Issue 1 / April 1968
- Published online by Cambridge University Press:
- 01 April 2019, p. 158
- Print publication:
- April 1968
-
- Article
-
- You have access
- Export citation
Éléments de mathématique, fascicule 17; Théorie des ensembles Chapitres 1 et 2. by Nicolas Bourbaki. Hermann, Paris, 1966. Troisième édition, 137 pages. 36 francs.
-
- Journal:
- Canadian Mathematical Bulletin / Volume 11 / Issue 1 / April 1968
- Published online by Cambridge University Press:
- 01 April 2019, pp. 156-157
- Print publication:
- April 1968
-
- Article
-
- You have access
- Export citation