Lectures on the Curry-Howard isomorphism
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Weitere Verfasser: | |
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
Amsterdam, Heidelberg
Elsevier
2006
|
| Ausgabe: | 1st ed. |
| Schriftenreihe: | Studies in logic and the foundations of mathematics
149 |
| Schlagworte: |
Curry-Howard isomorphism
> Lambda calculus
> Proof theory
> Mathematik
> Mathematische Logik
> Berechnung
> Beweis
> Analogie
> Intuitionistische Logik
> Typisierter Lambda-Kalkül
> Kombinatorische Logik
> Beweissystem
> Prädikatenlogik
> Programmierung
> Peano-Arithmetik
> Lambda-Kalkül
> Beweistheorie
|
| Online Zugang: | Inhaltsverzeichnis Verlagsangaben Inhaltstext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Beschreibung: | Includes bibliographical references (p. 403 - 430) and index |
|---|---|
| Beschreibung: | XIV, 442 S graph. Darst. 24 cm |
| ISBN: | 0444520775 0-444-52077-5 9780444520777 978-0-444-52077-7 |