Name: Introduction to Higher-Order Categorical Logic
Price: 779.95 DKK
Availability: InStock
Author: J. Lambek
ISBN: 9780521356534

Introduction to Higher-Order Categorical Logic af J. Lambek

Du sparer 0% ift. normalprisen Spar 0%

Paperback
8-11 hverdage
779,95 kr.

Bag om Introduction to Higher-Order Categorical Logic

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.

Vis mere

Sprog:
Engelsk

ISBN:
9780521356534

Forlag:
Cambridge University Press

Indbinding:
Paperback

Sideantal:
304

Udgivet:
25. marts 1988

Størrelse:
229x164x20 mm.

Vægt:
462 g.

Leveringstid: 8-11 hverdage.
Forventet levering: 6. december 2024

På lager

Normalpris

BLACK NOVEMBER
779,95 kr. + Fragt
~~779,95 kr.~~

Medlemspris

729,95 kr.

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Bag om J. Lambek

Vis alle bøger af J. Lambek

Beskrivelse af Introduction to Higher-Order Categorical Logic

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.

Brugerbedømmelser af Introduction to Higher-Order Categorical Logic

Andre købte også..

Find lignende bøger

Bogen Introduction to Higher-Order Categorical Logic findes i følgende kategorier:

Business og læring > Videnskab

Introduction to Higher-Order Categorical Logic - J. Lambek - Bog

Bag om J. Lambek

Beskrivelse af Introduction to Higher-Order Categorical Logic

Brugerbedømmelser af Introduction to Higher-Order Categorical Logic

Gør som tusindvis af andre bogelskere