Enlarge

Introduction to higher order categorical logic

J. Lambek

Publication Data

Title Introduction to higher order categorical logic
Author J. Lambek
Contributor P. J. Scott
Publisher Cambridge University Press
Publication date 1986
Publication location Cambridge
Language English

Topics

Categories (Mathematics)

Catalogue Data

OBNB ID GB8539574
ISBN 10 0521246652
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 512.55

ISBD

P1053 [304]p.
P1042 Includes bibliography and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Introduction to higher order categorical logic by J. Lambek. ISBN 0521246652. Published by Cambridge University Press in 1986. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.