10% OFF

Introduction To Higher-Order Categorical Logic

by P. J. Scott e J. Lambek
language: english
Publisher: CAMBRIDGE UNIVERSITY PRESS, March of 1988 ‧
83,82€
10% OFF CARD
free shipping
Sell ​​your book
In this book the authors reconcile two different viewpoints of the foundations of mathematics, namely mathematical logic and category theory. Numerous applications of the close relationship between traditional logic and the algebraic language of category theory are given. Detailed references are provided and each section concludes with exercises.

Introduction To Higher-Order Categorical Logic

by P. J. Scott e J. Lambek

Property Description
ISBN: 9780521356534
Publisher: CAMBRIDGE UNIVERSITY PRESS
Release Date: March of 1988
Language: English
Cover: Softcover
Pages: 304
Format: Book
Collection: Cambridge Studies In Advanced Mathematics
Categories: Books in English > Social Sciences and Humanities > Philosophy
EAN: 9780521356534