Lambek J., Scott P.J.:
Introduction To Higher-Order Categorical Logic

New Ed

Series editor: B.Bollobas

Cambridge University Press (United Kingdom), 1988
Paperback, 304 pages
Size: 227x150 mm
ISBN: 9780521356534
ISBN-10: 0521356539

Our price: £25.64
List price: £26.99
You save: 5%

Usually ships within 2 weeks.

Will be shipped from: United Kingdom or United States
 Add to Shopping Basket 

Introduction To Higher-Order Categorical Logic

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.

Related links:

J. Lambek
P.J. Scott
B. Bollobas
Logic
Topics in philosophy
Philosophy
Humanities
Cambridge University Press

More information from Wikipedia:

J. Lambek
P.J. Scott
B. Bollobas
© 2006-2008 Eruditor Ltd and its partners

Search

Advanced Search

Browse

Authors’ Name Index

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z