Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Introduction to Higher-Order Categorical Logic

Name: Introduction to Higher-Order Categorical Logic
Brand: Cambridge University Press
SKU: 02028334
Price: 31511 HUF
Availability: InStock
Author: J. LambekP. J. Scott
ISBN: 9780521356534

J. LambekP. J. Scott

Language

English

Book Paperback

Libristo code: 02028334

Publishers Cambridge University Press, March 1988

In this book the authors reconcile two different viewpoints of the foundations of mathematics, namel... Full description

Libristo code: 02028334

209 b

31 511 Ft

In stock at our supplier Shipping in 10-18 days

Up to 30 days for returns

Customers also purchased

Die Ökumenische Bewegung und das II. Vatikanische Konzil Heinz-Dietrich Wendland

Paperback

28 994 Ft

Das Versprechen mobiler Freiheit Heike Weber

Paperback

10 080 Ft

Cuentos Clasicos Para Ninos The Brothers Grimm

MP3

5 540 Ft

Krční páteř - Účinná pomoc při bolesti Petra Brachtová

Paperback

4 935 Ft

Mit Liedern durch den Sommer, m. Audio-CD Kati Breuer

Paperback

9 899 Ft

Kabala a kabalisté D. Ž. Bor

Paperback

6 344 Ft

KPop Demon Hunters Beanie HUNTR/X Stationery items

Stationery items

5 901 Ft

Vaterfreuden Thomas Frehner

Paperback

5 373 Ft

Tarja preta: breve delirar poético Margareth Van de Pas (org.)

Paperback

10 413 Ft

Der Mensch und die Technik Oswald Spengler

Paperback

3 017 Ft

Медицинская карта пациента, получающего медицинскую помощь в амбулаторных условиях (форма №025/у)

Paperback

2 646 Ft

Se lancer dans les métiers des soins aux animaux Delory

Paperback

10 461 Ft

ANESTEZJOLOGIA I REANIMACJA Sophie Maloba

Paperback

17 324 Ft

TIENES SUPERPODERES JAIN

Paperback

5 568 Ft

ENVIRONMENTALISTS FOR NUCLEAR ENERGY - voir http://www.comby.org/livres/livresfr.htm COMBY

Paperback

16 358 Ft

Guide de l'équilibre acide-base Florence Piquet

Paperback

3 274 Ft

ALBUM DE MES ANNEES D ECOLE Virginie Aladjidi

Hardback

5 359 Ft

YONA PRINCESA DEL AMANECER FANBOOK MIZUHO KUSANAGI

Paperback

4 407 Ft

ROAD's CUT - K.TS.Ra HADEREKH (HEBREW) POEMS Mois Benarroch

Paperback

6 382 Ft

Symbole für Herrschaft und Königtum in den Erzählungen von Saul und David Keung-Jae Lee

Paperback

50 439 Ft

Rookie nascht Weintrauben (Puzzle) Samashy

Game

12 450 Ft

Correr para mujeres como nosotras Gloria Safar

Paperback

4 407 Ft

In this book the authors reconcile two different viewpoints of the foundations of mathematics, namely mathematical logic and category theory. In Part I, they show that typed lambda-calculi, a formulation of higher order logic, and cartesian closed categories are essentially the same. In Part II, it is demonstrated that another formulation of higher order logic (intuitionistic type theories) is closely related to topos theory. Part III is devoted to recursive functions. Numerous applications of the close relationship between traditional logic and the algebraic language of category theory are given. The authors have included an introduction to category theory and develop the necessary logic as required, making the book essentially self-contained. Detailed historical references are provided throughout, and each section concludes with a set of exercises. Thus it is well-suited for graduate courses and research in mathematics and logic. Researchers in theoretical computer science, artificial intelligence and mathematical linguistics will also find this an accessible introduction to a subject of increasing application to these disciplines.