%0 Book %1 lambek1986higher %A Lambek, Joachim %A Scott, P. J. %B Cambridge Studies in Advanced Mathematics %D 1986 %I Cambridge University Press %K 03f55-intuitionistic-mathematics, 18d15-closed-categories 03b15-higher-order-logic-type-theory 03-01-mathematical-logic-and-foundations-instructional-exposition 18-01-category-theory-introductory-exposition 03b20-subsystems-of-classical-logic 03b40-combinatory-logic-and-lambda-calculus 03g30-categorical-logic-topoi 03d20-recursive-functions-and-relations 18b25-topoi %T Introduction to Higher Order Categorical Logic %U http://www.cambridge.org/au/academic/subjects/mathematics/logic-categories-and-sets/introduction-higher-order-categorical-logic?format=PB&\#38;isbn=9780521356534 %V 7 %X This work attempts to reconcile two different viewpoints of the foundations of mathematics, namely mathematical logic and category theory. It contains an introduction to category theory and a set of exercises which accompanies each section. %@ 9780521356534

@book{lambek1986higher, abstract = {{This work attempts to reconcile two different viewpoints of the foundations of mathematics, namely mathematical logic and category theory. It contains an introduction to category theory and a set of exercises which accompanies each section.}}, added-at = {2017-06-29T07:13:07.000+0200}, author = {Lambek, Joachim and Scott, P. J.}, biburl = {https://www.bibsonomy.org/bibtex/2cafb20523d67fc4c6896895531f67000/gdmcbain}, citeulike-article-id = {12635310}, citeulike-attachment-1 = {lambek_86_introduction_I.pdf; /pdf/user/gdmcbain/article/12635310/1106473/lambek_86_introduction_I.pdf; 30abec9047c50cb4bbec3ad7d9a095df26818868}, citeulike-attachment-2 = {lambek_86_introduction_II.pdf; /pdf/user/gdmcbain/article/12635310/1106475/lambek_86_introduction_II.pdf; c7f27ce4848a890800dd3ce251fcd0650f0e1251}, citeulike-linkout-0 = {http://www.cambridge.org/au/academic/subjects/mathematics/logic-categories-and-sets/introduction-higher-order-categorical-logic?format=PB\&\#38;isbn=9780521356534}, citeulike-linkout-1 = {http://www.worldcat.org/isbn/9780521356534}, citeulike-linkout-2 = {http://books.google.com/books?vid=ISBN9780521356534}, citeulike-linkout-3 = {http://www.amazon.com/gp/search?keywords=9780521356534\&index=books\&linkCode=qs}, citeulike-linkout-4 = {http://www.librarything.com/isbn/9780521356534}, citeulike-linkout-5 = {http://www.worldcat.org/oclc/18230304}, interhash = {94209269255083dce4ce08c2fb146342}, intrahash = {cafb20523d67fc4c6896895531f67000}, isbn = {9780521356534}, keywords = {03f55-intuitionistic-mathematics, 18d15-closed-categories 03b15-higher-order-logic-type-theory 03-01-mathematical-logic-and-foundations-instructional-exposition 18-01-category-theory-introductory-exposition 03b20-subsystems-of-classical-logic 03b40-combinatory-logic-and-lambda-calculus 03g30-categorical-logic-topoi 03d20-recursive-functions-and-relations 18b25-topoi}, posted-at = {2017-02-13 01:31:08}, priority = {2}, publisher = {Cambridge University Press}, series = {Cambridge Studies in Advanced Mathematics}, timestamp = {2023-10-23T00:47:57.000+0200}, title = {{Introduction to Higher Order Categorical Logic}}, url = {http://www.cambridge.org/au/academic/subjects/mathematics/logic-categories-and-sets/introduction-higher-order-categorical-logic?format=PB\&\#38;isbn=9780521356534}, volume = 7, year = 1986 }