2004, ISBN: 1402023340
[EAN: 9781402023347], Neubuch, [PU: Springer Netherlands], LOGIK; PHILOSOPHIE / MATHEMATIK INFORMATIK, COMPUTER; CALCULUS; COMPUTERSCIENCE; LOGIC; PREDICATELOGIC; PROGRAMMING; PROGRAMMING… Meer...
AbeBooks.de AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Verzendingskosten:Versandkostenfrei. (EUR 0.00) Details... |
ISBN: 9781402023347
`Towards the end of the nineteenth century, Frege gave us the abstraction principles and the general notion of functions. Self-application of functions was at the heart of Russell''s para… Meer...
Indigo.ca new in stock. Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten Details... |
2004, ISBN: 9781402023347
gebonden uitgave
[ED: Gebunden], [PU: Springer Netherlands], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book provides an overview of type theory.… Meer...
booklooker.de |
2004, ISBN: 1402023340
2004 Gebundene Ausgabe Logik, Philosophie / Logik, Mathematik / Informatik, Computer, Mathematische Grundlagen, Philosophie: Logik, Mathematik für Informatiker, computer; calculus; comp… Meer...
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Verzendingskosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
2004, ISBN: 9781402023347
From its Origins until Today, Buch, Hardcover, 2004 ed. [PU: Springer-Verlag New York Inc.], Springer-Verlag New York Inc., 2004
lehmanns.de Verzendingskosten:Versand in 10-14 Tagen. (EUR 0.00) Details... |
2004, ISBN: 1402023340
[EAN: 9781402023347], Neubuch, [PU: Springer Netherlands], LOGIK; PHILOSOPHIE / MATHEMATIK INFORMATIK, COMPUTER; CALCULUS; COMPUTERSCIENCE; LOGIC; PREDICATELOGIC; PROGRAMMING; PROGRAMMING… Meer...
ISBN: 9781402023347
`Towards the end of the nineteenth century, Frege gave us the abstraction principles and the general notion of functions. Self-application of functions was at the heart of Russell''s para… Meer...
2004
ISBN: 9781402023347
gebonden uitgave
[ED: Gebunden], [PU: Springer Netherlands], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book provides an overview of type theory.… Meer...
2004, ISBN: 1402023340
2004 Gebundene Ausgabe Logik, Philosophie / Logik, Mathematik / Informatik, Computer, Mathematische Grundlagen, Philosophie: Logik, Mathematik für Informatiker, computer; calculus; comp… Meer...
2004, ISBN: 9781402023347
From its Origins until Today, Buch, Hardcover, 2004 ed. [PU: Springer-Verlag New York Inc.], Springer-Verlag New York Inc., 2004
Bibliografische gegevens van het best passende boek
Gedetalleerde informatie over het boek. - A Modern Perspective on Type Theory: From its Origins until Today
EAN (ISBN-13): 9781402023347
ISBN (ISBN-10): 1402023340
Gebonden uitgave
Verschijningsjaar: 2007
Uitgever: Springer-Verlag New York Inc.
357 Bladzijden
Gewicht: 0,722 kg
Taal: eng/Englisch
Boek bevindt zich in het datenbestand sinds 2007-06-03T10:42:20+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2023-08-25T20:05:06+02:00 (Amsterdam)
ISBN/EAN: 1402023340
ISBN - alternatieve schrijfwijzen:
1-4020-2334-0, 978-1-4020-2334-7
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: laan, nederpelt
Titel van het boek: the origins modern, perspective pes, just type, have never been modern, type theory logic, die type
Gegevens van de uitgever
Auteur: F.D. Kamareddine; T. Laan; Rob Nederpelt
Titel: Applied Logic Series; A Modern Perspective on Type Theory - From its Origins until Today
Uitgeverij: Springer; Springer Netherland
360 Bladzijden
Verschijningsjaar: 2004-06-09
Dordrecht; NL
Taal: Engels
192,59 € (DE)
197,99 € (AT)
212,50 CHF (CH)
Available
XIV, 360 p.
BB; Hardcover, Softcover / Mathematik/Grundlagen; Mathematik: Logik; Verstehen; Computer; calculus; computer science; logic; predicate logic; programming; programming language; proof; type theory; Mathematical Logic and Foundations; Mathematics of Computing; Logic; Mathematische Grundlagen; Mathematik für Informatiker; Philosophie: Logik; EA; BC
The Evolution of Type Theory until the 1940s.- Prehistory.- Type theory in Principia Mathematica.- Deramification.- Propositions as Types, Pure Type Systems, AUTOMATH.- Propositions as Types and Pure Type Systems.- The pre-PAT RTT and STT in PAT-style.- A Correspondence between RTT and the system Nuprl.- Automath.- Extensions of Pure Type Systems.- Pure Type Systems with definitions.- The Barendregt cube with parameters.- Pure Type Systems with parameters and definitions.Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:
Laatste soortgelijke boek:
9789048166398 A Modern Perspective on Type Theory (F.D. Kamareddine; T. Laan; Rob Nederpelt)
< naar Archief...