Martin Hyland – författare

Visar alla böcker från författaren Martin Hyland. Handla med fri frakt och snabb leverans.

1 produkter

1. 

   Logic: From Foundations to Applications

   European Logic Colloquium

   Av Wilfrid Hodges, Martin Hyland m. fl.

   Inbunden, 1996

   638 kr

   Lägg i varukorg

   This book contains twenty-one essays by leading authorities on aspects of contemporary logic, ranging from foundations of set theory to applications of logic in computing and in the theory of fields.In those parts of logic closest to computer science, the gap between foundations and applications is …