Lambek, J

Title

Introduction to higher order categorical logic

Name: Introduction to higher order categorical logic
Author: Lambek, J

Author Statement

J. Lamvek , P. J. Scott

Publication

Cambridge Unviersity

Publication Year

[c1986]

Collation

x, 293p

Series

Cambridge studies in advanced mathematics; 7

Bibliography

Bibliography: p. 279- 288

Subject

ADDED ENTRIES

Scott, P. J., jt.auth

Main Class

512

Sub Class

.55

Cutter no

L221i

وارد كنندة اطلاعات

fazel^d//

Link To Document