Isbn: 9781568812762 - logicism renewed: logical foundations for mathematics and computer science (lecture notes in logic, 23, band 23) (8 Ergebnisse)

PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

Zustand: New. In English.

Zustand: New. Revisits the original concept of logicism in the light of advances in mathematical logic. Using Intensional Type Theory (ITT), this book provides a unified foundation for mathematics and computer science, yielding a much simpler foundation for recursion theory and the semantics of computer programs than that provided by category theory. Num Pages: 250 pages. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 229 x 152. Weight in Grams: 340. . 2005. Paperback. . . . . Books ship from the US and Ireland.…

Paperback. Zustand: Brand New. 230 pages. 8.75x6.00x0.50 inches. In Stock.

Taschenbuch. Zustand: Neu. Neuware - Logicism, as put forward by Bertrand Russell, was predicated on a belief that all of mathematics can be deduced from a very small number of fundamental logical principles. In Logicism Renewed, the author revisits this concept in light of advances in mathematical logic and the need for languages that can be understood by both humans and computers that require distinguishing between the intension and extension of predicates. Using Intensional Type Theory (ITT) the author provides a unified foundation for mathematics and computer science, yielding a much simpler foundation for recursion theory and the semantics of computer programs than that currently provided by category theory.…

Zustand: New. Paul C. GilmoreLogicism, as put forward by Bertrand Russell, was predicated on a belief that all of mathematics can be deduced from a very small number of fundamental logical principles. In Logicism Renewed, the author revisits this concept in.

Taschenbuch. Zustand: Neu. Logicism Renewed | Logical Foundations for Mathematics and Computer Science, Lecture Notes in Logic 23 | Paul C. Gilmore | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2005 | Taylor & Francis Inc | EAN 9781568812762 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu. …