Verificar estado da encomenda

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 €

phone

Contacto

phone

Ajuda

A minha conta

▸ Vazio :-(

0

Livro Proof Theory Takeuti

Proof Theory

Língua

Inglês

Livro Capa mole

Livro Proof Theory Takeuti

Código Libristo: 02569150

Editoras Dover Publications Inc., janeiro 2013

Preface Preface to the Second Edition Contents Introduction Part I. First Order Systems 1.... Descrição completa

Código Libristo: 02569150

?

points

47 b

19.36 €

50% de hipóteses Procuremos no mundo Quando vou receber o meu livro?

Até 30 dias para devoluções

Os clientes também compraram

Basic Proof Theory Anne S. Troelstra

/

Capa mole

68.48 €

Type Theory and Formal Proof Rob Nederpelt

/

Livro de capa dura

99.34 €

Preface Preface to the Second Edition Contents Introduction Part I. First Order Systems 1. First Order Predicate Calculus 2. Peano Arithmetic Part II. Second Order and Finite Order Systems 3. Second Order Systems and Simple Type Theory 4. Infinitary Logic Part III. Consistency Problems 5. Consistency Proofs 6. Some Applications of Consistency Proofs Postscript Appendix Index

Atriz & Poliglota

EWA KASP para

Reproduzir vídeo

Ewa Kasp

Ewa Kasp

A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.

Sobre o livro

Nome completo Proof Theory

Autor Takeuti

Língua

Inglês

Encadernação Livro - Capa mole

Data de emissão 2013

Número de páginas 384

EAN 9780486490731

ISBN 0486490734

Código Libristo 02569150

Editoras Dover Publications Inc.

Peso 622

Dimensões 152 x 229 x 26

Categorias

Matemática & ciência > Matemática > Fundamentos da matemática > Lógica matemática

Ofereça este livro hoje

É fácil

1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatário

Também pode estar interessado em

Axiom of Choice Thomas J Jech

/

Capa mole

11.99 €

Category Theory in Context Riehl

/

Capa mole

26.72 €

Handbook of Proof Theory S.R. Buss

/

Adobe ePub DRM

195.27 €

Proof Theory of N4-Paraconsistent Logics Heinrich (Universitat Leipzig) Wansing

/

Capa mole

25.51 €

Conceptual Mathematics F William Lawvere

/

Capa mole

71.20 €

Wealth of Nations Adam Smith

/

Capa mole

6.95 €

Handbook of Proof Theory S. R. Buss

/

Livro de capa dura

202.12 €

Mathematics of Relativity George Y. Rainich

/

Capa mole

11.99 €

Problem-solving Strategies In Mathematics: From Common Approaches To Exemplary Strategies Alfred S. Posamentier

/

Capa mole

26.42 €

Proofs and Refutations Imre Lakatos

/

Capa mole

22.28 €

Introduction to Proof Theory Mancosu

/

Capa mole

37.41 €

FUZZY SETS & FUZZY LOGIC George J. Klir

/

Capa mole

124.46 €

How to Prove It Daniel J. Velleman

/

Capa mole

48.41 €

How to Prove It Daniel J. Velleman

/

Livro de capa dura

135.86 €

Origin of Continents and Oceans Alfred Wegener

/

Capa mole

15.73 €

Algorithms for Minimization Without Derivatives Richard P Brent

/

Capa mole

11.99 €

Categories for the Working Mathematician Saunders Mac Lane

/

Livro de capa dura

59.50 €

New History of Western Philosophy Anthony Kenny

/

Capa mole

24.80 €

Interactive Theorem Proving and Program Development Yves Bertot

/

Livro de capa dura

127.18 €

Interactive Theorem Proving and Program Development Yves Bertot

/

Capa mole

90.16 €

Titanic Coloring Book P F Copeland

/

Capa mole

5.03 €

Rockets Robert Goddard

/

Livro de capa dura

10.58 €

Rotations, Quaternions, and Double Groups Simon L Altmann

/

Capa mole

15.73 €

Variantional Principles B L Moiseiwitsch

/

Capa mole

14.21 €

Conselheiro de livros Libroamiko

Olá, sou o Libroamiko, posso ajudar?