Deductive systems and categories II. Standard constructions and closed categories
J. Lambek. Category Theory, Homology Theory and their Applications I, том 86 из Lecture Notes in Mathematics, Springer Berlin Heidelberg, (1969)
DOI: 10.1007/BFb0079385
Описание
Deductive systems and categories II. Standard constructions and closed categories - Springer
%0 Book Section
%1 lambek1969deductive
%A Lambek, Joachim
%B Category Theory, Homology Theory and their Applications I
%D 1969
%I Springer Berlin Heidelberg
%K category
%P 76-122
%R 10.1007/BFb0079385
%T Deductive systems and categories II. Standard constructions and closed categories
%U http://dx.doi.org/10.1007/BFb0079385
%V 86
%@ 978-3-540-04605-9
@incollection{lambek1969deductive,
added-at = {2015-01-19T05:17:18.000+0100},
author = {Lambek, Joachim},
biburl = {https://www.bibsonomy.org/bibtex/2a8a7511a403c7100ce74246726580db3/t.uemura},
booktitle = {Category Theory, Homology Theory and their Applications I},
description = {Deductive systems and categories II. Standard constructions and closed categories - Springer},
doi = {10.1007/BFb0079385},
interhash = {45c810906b9ebd5cb3c4b7ba641f07ab},
intrahash = {a8a7511a403c7100ce74246726580db3},
isbn = {978-3-540-04605-9},
keywords = {category},
language = {English},
pages = {76-122},
publisher = {Springer Berlin Heidelberg},
series = {Lecture Notes in Mathematics},
timestamp = {2015-01-19T05:17:18.000+0100},
title = {Deductive systems and categories II. Standard constructions and closed categories},
url = {http://dx.doi.org/10.1007/BFb0079385},
volume = 86,
year = 1969
}