Charles Steinhorn – författare

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

4 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 …

2. 

   Model Theory, Algebra, and Geometry

   Av Deirdre Haskell, Anand Pillay m. fl.

   Häftad, 2010

   764 kr

   Lägg i varukorg

   Model theory has made substantial contributions to semialgebraic, subanalytic, p-adic, rigid and diophantine geometry. These applications range from a proof of the rationality of certain Poincare series associated to varieties over p-adic fields, to a proof of the Mordell-Lang conjecture for …

3. 

   Finite and Algorithmic Model Theory

   Av Javier Esparza, Christian Michaux m. fl.

   Häftad, 2011

   1090 kr

   Lägg i varukorg

   Intended for researchers and graduate students in theoretical computer science and mathematical logic, this volume contains accessible surveys by leading researchers from areas of current work in logical aspects of computer science, where both finite and infinite model-theoretic methods play an …

4. 

   Model Theory, Algebra, and Geometry

   Av Deidre Haskell, Anand Pillay m. fl.

   Inbunden, 2000

   1987 kr

   Lägg i varukorg

   Model theory has made substantial contributions to semialgebraic, subanalytic, p-adic, rigid and diophantine geometry. These applications range from a proof of the rationality of certain Poincare series associated to varieties over p-adic fields, to a proof of the Mordell-Lang conjecture for …