«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Proof Theory

Idioma InglésInglés
Libro Tapa blanda
Libro Proof Theory Takeuti
Código Libristo: 02569150
Editores Dover Publications Inc., enero 2013
Preface Preface to the Second Edition Contents Introduction Part I. First Order Systems 1.... Descripción completa
? points 50 b
20.39 €
50% de probabilidad Buscaremos por todo el mundo ¿Cuándo recibiré mi libro?

Hasta 30 días para devoluciones

Clientes que también han comprado

Basic Proof Theory Anne S. Troelstra / Libro Tapa blanda
common.buy 72.49 €
Popular
Type Theory and Formal Proof Rob Nederpelt / Libro Tapa dura
common.buy 103.09 €

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

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Proof Theory
Autor Takeuti
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2013
Número de páginas 384
EAN 9780486490731
ISBN 0486490734
Código Libristo 02569150
Editores Dover Publications Inc.
Peso 622
Dimensiones 152 x 229 x 26

Categorías

Matemáticas y ciencias > Matemáticas > Fundamentos matemáticos > Lógica matemática
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

Popular
On Formally Undecidable Propositions of "Principia Mathematica" and Related Systems Kurt Godel / Libro Tapa blanda
common.buy 10.39 €
Axiom of Choice Thomas J Jech / Libro Tapa blanda
common.buy 12.69 €
Category Theory in Context Riehl / Libro Tapa blanda
common.buy 28.19 €
Problem-solving Strategies In Mathematics: From Common Approaches To Exemplary Strategies Alfred S. Posamentier / Libro Tapa blanda
common.buy 27.29 €
Proof Theory of N4-Paraconsistent Logics Heinrich (Universitat Leipzig) Wansing / Libro Tapa blanda
common.buy 26.49 €
Conceptual Mathematics F William Lawvere / Libro Tapa blanda
common.buy 75.39 €
Popular
Wealth of Nations Adam Smith / Libro Tapa blanda
common.buy 7.59 €
Handbook of Proof Theory S. R. Buss / Libro Tapa dura
common.buy 212.49 €
Mathematics of Relativity George Y. Rainich / Libro Tapa blanda
common.buy 12.69 €
Algorithms for Minimization Without Derivatives Richard P Brent / Libro Tapa blanda
common.buy 12.69 €
Popular
Proofs and Refutations Imre Lakatos / Libro Tapa blanda
common.buy 23.49 €
FUZZY SETS & FUZZY LOGIC George J. Klir / Libro Tapa blanda
common.buy 131.29 €
Popular
How to Prove It Daniel J. Velleman / Libro Tapa dura
common.buy 143.69 €
Popular
How to Prove It Daniel J. Velleman / Libro Tapa blanda
common.buy 50.49 €
Mathematical Methods for Science Students: Seco G. Stephenson / Libro Tapa blanda
common.buy 21.89 €
Introduction to Proof Theory Mancosu / Libro Tapa blanda
common.buy 39.79 €
Handbook of Proof Theory S.R. Buss / Libro electrónico Adobe ePub DRM
common.buy 203.99 €
Titanic Coloring Book P F Copeland / Libro Tapa blanda
common.buy 4.89 €
Interactive Theorem Proving and Program Development Yves Bertot / Libro Tapa dura
common.buy 132.69 €
Origin of Continents and Oceans Alfred Wegener / Libro Tapa blanda
common.buy 16.49 €
Classical Electromagnetic Radiation Heald / Libro Tapa blanda
common.buy 35.19 €
Interactive Theorem Proving and Program Development Yves Bertot / Libro Tapa blanda
common.buy 94.09 €
Categories for the Working Mathematician Saunders Mac Lane / Libro Tapa dura
common.buy 62.09 €
Rockets Robert Goddard / Libro Tapa dura
common.buy 11.19 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?