Menge:

oder

Loggen Sie sich ein, um 1-Click® einzuschalten.

oder


	Mit kostenloser Probeteilnahme bei Amazon Prime. Melden Sie sich w�hrend des Bestellvorgangs an. Erfahren Sie mehr

Alle Angebote

M�chten Sie verkaufen? Hier verkaufen

F�r Kunden: Stellen Sie Ihre eigenen Bilder ein.

Hier reinlesen und suchen

Den Verlag informieren!
Ich m�chte dieses Buch auf dem Kindle lesen.

Sie haben keinen Kindle? Hier kaufen oder eine gratis Kindle Lese-App herunterladen.

Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics) [Englisch] [Taschenbuch]

J. Lambek (Autor), P. J. Scott (Autor)

Preis:	EUR 44,80 kostenlose Lieferung. Siehe Details.
Angebotspreis:
	Alle Preisangaben inkl. MwSt.
	o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o

Auf Lager.
Verkauf und Versand durch Amazon.de. Geschenkverpackung verf�gbar.

Nur noch 3 St�ck auf Lager - jetzt bestellen.

Lieferung bis Mittwoch, 6. Juni: W�hlen Sie an der Kasse Morning-Express. Siehe Details.

Weitere Ausgaben	Amazon-Preis		Neu ab	Gebraucht ab
Gebundene Ausgabe	--		--	--
Taschenbuch	EUR 44,80		--	--

Produktinformation

Taschenbuch: 304 Seiten
Verlag: Cambridge University Press; Auflage: Reprint (25. M�rz 1988)
Sprache: Englisch
ISBN-10: 0521356539
ISBN-13: 978-0521356534
Gr��e und/oder Gewicht: 2,3 x 1,5 x 0,2 cm
Amazon Bestseller-Rang: Nr. 284.491 in Englische Bücher (Siehe Top 100 in Englische Bücher)

M�chten Sie die Produktinformationen aktualisieren oder Feedback zu den Produktabbildungen geben?

Ist der Verkauf dieses Produkts f�r Sie nicht akzeptabel?

Komplettes Inhaltsverzeichnis ansehen

Mehr �ber den Autor

Entdecken Sie B�cher, lesen Sie �ber Autoren und mehr

› Besuchen Sie die Seite von Joachim Lambek auf Amazon

Produktbeschreibungen

Pressestimmen

'A readable and timely account of important results, most of which were not previously available in book form.' Bulletin of the London Mathematical Society

�ber das Produkt

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.

Alle Produktbeschreibungen

In diesem Buch (Mehr dazu)

Einleitungssatz
In Part 0 we recall the basic background in category theory which may be required in later portions of this book. Lesen Sie die erste Seite

Mehr entdecken
Wortanzeiger

Eine digitale Version dieses Buchs im Kindle-Shop verkaufen

Wenn Sie ein Verleger oder Autor sind und die digitalen Rechte an einem Buch haben, k�nnen Sie die digitale Version des Buchs in unserem Kindle-Shop verkaufen. Weitere Informationen

Kundenrezensionen

Es gibt noch keine Kundenrezensionen auf Amazon.de

5 Sterne

4 Sterne

3 Sterne

2 Sterne

1 Sterne

Kundenrezension verfassen

Die hilfreichsten Kundenrezensionen auf Amazon.com ^(beta)

Amazon.com: 1 Rezension

25 von 32 Kunden fanden die folgende Rezension hilfreich

This is definitely Higher! 15. Dezember 2000

Von Ein Kunde - Ver�ffentlicht auf Amazon.com

Format:Taschenbuch

I was looking for a book for my girlfriend this Christmas and stumbled upon this one. At first I thought it would be too light but was I ever mistaken!! This book is so high that it would make Jack Kerouac dizzy. It begins with a treatment of basic category theory and ccc's and then goes on to present toposes and intuitionistic type theory. The authors take care to annotate their turnstile with the set of free variables (Hah! I bet you thought I had no idea what this book was about!) so that they can deal with empty types in a reasonable way. The treatment of presheaf models is very lucid and the discussion of internal languages and lambda-calculi is excellent. In fact many papers of Koymans are just exercises from this book worked out. The book is slightly out of date, no treatment of linear logic or symmetric monoidal-closed categories. Overall this book is highly recommended for the beginner and expert alike.

› Gehen Sie auf Amazon.com, um die Rezension anzusehen.

Ist diese Rezension hilfreich? Wir wollen von Ihnen h�ren.

.jsOffDisplayBlock { display: block; } .jsOffDisplayInline { display: inline; } .jsOffVisibility { visibility: visible; } .jsOnDisplayBlock { display: none; } .jsOnDisplayNoneBlock { display: block; } .jsOnDisplayNoneInline { display: inline; } .jsOnDisplayInline { display: none; } .jsOnVisibility { visibility: hidden; } .jqOnDisplayBlock { display: none; } .jqOnDisplayInline { display: none; } .jqOnVisibility { visibility: hidden; } .jqOnDisplayNoneBlock { display: block; } .jqOnDisplayNoneInline { display: inline; }

Kunden diskutieren

Das Forum zu diesem Produkt

Diskussion	Antworten	J�ngster Beitrag
Noch keine Diskussionen

Fragen stellen, Meinungen austauschen, Einblicke gewinnen

Neue Diskussion starten

Thema:

Erster Beitrag:

Bei neuen Eintr�gen E-Mail erhalten

Eingabe des Log-ins

Richtlinien

Aktive Diskussionen in �hnlichen Foren

Diskussion	Antworten	J�ngster Beitrag
Forum: englische b�cher englischsprachiges Buch f�r erste Klasse Gymnasium	3	Vor 5 Minuten
Forum: englische b�cher Welches englische Buch lest Ihr zur Zeit?	240	Vor 5 Stunden
Forum: englische b�cher Gay (BDSM) titles	5	Vor 21 Stunden
Forum: englische b�cher Looking for really good books - very well written or exceptional plot or inspiring or all in one...	208	Gestern
Forum: englische b�cher Suche engl. B�cher mit denen ich die Sprache besser erlerne	16	Gestern
Forum: englische b�cher Utopia/Dystopia	13	Vor 2 Tagen
Forum: englische b�cher Euer erstes englischsprachiges Buch?	288	Vor 2 Tagen
Forum: englische b�cher Action-Adventure Books in English	105	Vor 3 Tagen