Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Logicism Renewed

Name: Logicism Renewed
Brand: Taylor & Francis Inc
SKU: 06703414
Price: 64.83 EUR
Availability: InStock
Author: Paul C. Gilmore
ISBN: 9781568812762

Logical Foundations for Mathematics and Computer Science, Lecture Notes in Logic 23

Paul C. Gilmore

Língua

Inglês

Livro Capa mole

Código Libristo: 06703414

Editoras Taylor & Francis Inc, novembro 2005

Revisits the original concept of logicism in the light of advances in mathematical logic. Using Inte... Descrição completa

Código Libristo: 06703414

157 b

64.83 €

Armazenamento externo Envio em 9-15 dias

Até 30 dias para devoluções

Os clientes também compraram

WACHTELSCHLAG JOSEPH HAAS Livro

binding.

4.34 €

LUCHA CONTRA EL MAL BECKER

Livro

4.24 €

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.