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.

Categories for Types (Cambridge Mathematical Textbooks) [Englisch] [Taschenbuch]

Roy L. Crole (Autor)

Unverb. Preisempf.:	EUR 52,22
Preis:	EUR 43,07 kostenlose Lieferung. Siehe Details.
Angebotspreis:
Sie sparen:	EUR 9,15 (18%)
	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.

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	EUR 114,88		--	--
Taschenbuch	EUR 43,07		--	--

Kunden, die diesen Artikel gekauft haben, kauften auch

Category Theory (Oxford Logic Guides) von Steve Awodey

EUR 43,20
Categories and Computer Science (Cambridge C... von R. F. C. Walters
5.0 von 5 Sternen (1)

EUR 32,40
An Introduction to Functional Programming Thr... von Greg Michaelson

EUR 17,95
Algebraic Set Theory (London Mathematical Society... von Andri Joyal

EUR 30,75
Stone Spaces (Cambridge Studies in Advance... von Peter T. Johnstone

EUR 46,40
Introduction to Lattices and Order von B. A. Davey
5.0 von 5 Sternen (1)

EUR 31,95

Produktinformation

Taschenbuch: 356 Seiten
Verlag: Cambridge University Press (27. Januar 1994)
Sprache: Englisch
ISBN-10: 0521457017
ISBN-13: 978-0521457019
Gr��e und/oder Gewicht: 2,3 x 1,5 x 0,2 cm
Amazon Bestseller-Rang: Nr. 107.167 in Englische Bücher (Siehe Top 100 in Englische Bücher)
- Nr. 87 in Englische Bücher > Fachb�cher > Mathematik > Reine Mathematik > Logik

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 Roy L. Crole auf Amazon

Produktbeschreibungen

Pressestimmen

"A well-organized introduction to categorical methods of lambda calculus...The individual topics are treated in a uniform, balanced style from introduction, syntax, to categorical models and categorical-type theory correspondence." Jiri Adamek, Mathematical Reviews

�ber das Produkt

This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories. It introduces the reader to ordered set theory, lattices and domains, and this material provides plenty of examples for an introduction to category theory. Aimed at advanced undergraduates and beginning graduates, this book will be of interest to theoretical computer scientists, logicians and mathematicians specialising in category theory.

Alle Produktbeschreibungen

In diesem Buch (Mehr dazu)

Einleitungssatz
DISCUSSION 1 .1.1 We shall begin by giving an informal description of some of the topics which appear in Chapter 1. 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

10 von 11 Kunden fanden die folgende Rezension hilfreich

Excellent introduction to categories for computer scientists 15. November 1997

Von peter@opus.geg.mot.com - Ver�ffentlicht auf Amazon.com

Format:Gebundene Ausgabe

The book gives you all of the cateogry theory you need to study type theory. The examples are from domains that are comfortable for computer scientists. The difficult proofs are given in great detail, while other books often gloss over the details.

› 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 8 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

Kundendiskussionen durchsuchen

�hnliche Foren

Forum: englische b�cher (530 Diskussionen)

Lieblingslisten

Legen Sie Ihre eigene Lieblingsliste an

�hnliche Artikel finden

Ihr Kommentar

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

Datenschutzerkl�rung von Amazon.de

Versandbedingungen von Amazon.de

Umtausch- & R�cknahme bei Amazon.de

�ber uns

Make Money mit Amazon

Wir helfen Ihnen

Unsere AGB | Datenschutzerkl�rung | Impressum | Cookies & Internet Werbung � 1998-2012, Amazon.com, Inc. oder Tochtergesellschaften