Reasoning in Simple Type Theory

Festschrift in Honor of Peter B. Andrews on His 70th Birthday

Autor: Christoph Benzmueller, Chad E. Brown, Joerg Siekmann

Jazyk:

Vazba: Brožovaná

Vydavatel: College Publications

Dostupnost: Skladem u dodavatele

Odesíláme za 10-18 dnů

662 Kč

Reasoning in Simple Type Theory is a collection of papers that includes reprints of eight seminal p...

Informace o knize

Autor

Christoph Benzmueller, Chad E. Brown, Joerg Siekmann

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2008

Stránek

480

EAN

9781904987703

ISBN

9781904987703

Enbook ID

08861631

Vydavatel

College Publications

Hmotnost

708

Rozměry

155 x 232 x 27

Kompletní popis

Reasoning in Simple Type Theory is a collection of papers that includes reprints of eight seminal papers in this area as well as thirteen new contributed articles. For the reprints we have chosen a paper by Alonzo Church (introducing his simple theory of types), a paper by Leon Henkin (proving completeness of Church's type theory relative to Henkin's semantics) and some of the most important papers by Peter Andrews. The new articles were contributed by Peter Andrews and his students and collaborators as well as a number of researchers his work has influenced. The volume intends to show the historical development of this important area of formal reasoning up to its current state of art and appears in honor of Peter Andrews on his 70th birthday.

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Reasoning in Simple Type Theory

Festschrift in Honor of Peter B. Andrews on His 70th Birthday

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také