The theory of logical types / by Irving M. Copi.
Saved in:
Superior document: | Routledge revivals |
---|---|
: | |
TeilnehmendeR: | |
Year of Publication: | 1971 |
Language: | English |
Series: | Routledge revivals.
|
Online Access: | |
Physical Description: | 60 p. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Logical reasoning with diagrams / edited by Gerard Allwein and Jon Barwise ; with contributions by Gerard Allwein ... [et al.].
Published: (1996.) -
Logical dynamics of information and interaction / Johan van Benthem.
by: Benthem, J. F. A. K. van,
Published: (2011.) -
Lambda calculus with types / Henk Barendregt, Wil Dekkers, Richard Statman.
by: Barendregt, Henk.
Published: (c2013.) -
Twenty-five years of constructive type theory : proceedings of a congress held in Venice, October 1995 / / edited by Giovanni Sambin and Jan M. Smith.
Published: (1998.) -
Proportionate-type normalized least mean square algorithms / Kevin Wagner, Milos Doroslovacki.
by: Wagner, Kevin.
Published: (c2013.)