Author books / Книги автора J. Lambek P. J. Scott » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора J. Lambek P. J. Scott

book Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics, Series Number 7)

Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics, Series Number 7)

pdf

Author: J. Lambek P. J. Scott
Language: English
Year: 1988

00

16.02.2024

0

0

book Introduction to Higher Order Categorical Logic

Introduction to Higher Order Categorical Logic

djvu

Author: J. Lambek P. J. Scott
Language: English
Year: 1988

00

12.02.2024

0

0

book Introduction to Higher-Order Categorical Logic

Introduction to Higher-Order Categorical Logic

pdf

Author: J. Lambek P. J. Scott
Language: English
Year: 1988

00

27.01.2024

0

0

book Introduction to Higher-Order Categorical Logic

Introduction to Higher-Order Categorical Logic

pdf

Author: J. Lambek P.J. Scott
Language: English
Year: 1986

00

27.01.2024

0

0

book Introduction to Higher-Order Categorical Logic

Introduction to Higher-Order Categorical Logic

djvu

Author: J. Lambek P. J. Scott
Language: English
Year: 1988

00

27.01.2024

0

0

book Introduction to higher-order categorical logic

Introduction to higher-order categorical logic

djvu

Author: J. Lambek P. J. Scott
Language: English
Year: 1988

00

26.01.2024

0

0

book Introduction to Higher-Order Categorical Logic

Introduction to Higher-Order Categorical Logic

pdf

Author: J. Lambek P. J. Scott
Language: English
Year: 1988

00

26.01.2024

0

0

book Toposes, Algebraic Geometry and Logic: Dalhousie University, Halifax, January 16–19, 1971

Toposes, Algebraic Geometry and Logic: Dalhousie University, Halifax, January 16–19, 1971

djvu

Author: I. Bucur J. Giraud N. Goodman J. Myhill L. Illusie J. Lambek D. S. Scott M. Tierney (auth.) F. W. Lawvere (eds.)
Language: English
Year: 1972

00

26.01.2024

1

0