Name: Why is this a Proof? (en Inglés)
Price: 32570.00 CLP
Availability: InStock
Author: Haeusler, Edward Hermann ; De Campos Sanz, Wagner ; Lopes, Bruno
ISBN: 9781848901728

portada Why is this a Proof? (en Inglés)

Formato

Libro Físico

Ilustrado por

Edward Hermann Haeusler

Wagner De Campos Sanz

Bruno Lopes

Editorial

College Publications

Autor

Haeusler, Edward Hermann ; De Campos Sanz, Wagner ; Lopes, Bruno

Idioma

Inglés

N° páginas

246

Encuadernación

Tapa Blanda

Dimensiones

23.4 x 15.6 x 1.3 cm

Peso

0.35 kg.

ISBN13

9781848901728

Categorías

Lógica matemática
Ciencias de la computación

Why is this a Proof? (en Inglés)

Edward Hermann Haeusler (Ilustrado por) · Wagner De Campos Sanz (Ilustrado por) · Bruno Lopes (Ilustrado por) · College Publications · Tapa Blanda

Libro Nuevo

$ 32.570

$ 54.280

Ahorras: $ 21.710

40% descuento

Envío normal

Origen: Estados Unidos (Costos de importación incluídos en el precio)

Se enviará desde nuestra bodega entre el Lunes 01 de Julio y el Jueves 11 de Julio.

Lo recibirás en cualquier lugar de Chile entre 1 y 3 días hábiles luego del envío.

Reseña del libro "Why is this a Proof? (en Inglés)"

This volume includes fifteen research papers to celebrate Luiz Carlos Pereira's 60th birthday. Among the authors contributing to the volume we find colleagues, friends - including his PhD advisor - and admirers. Similar to Luiz Carlos Pereira's intellectual interests and work, the contributions range from Philosophy to Mathematics, from Mathematics to Logic, and from Logic to Philosophy, passing through Computer Science. They are the result of current research by well-known scholars in these fields. Proof Theory is, maybe, the Ariadne's thread that unite the different subjects treated. Questions around the nature of proofs are often present in Luiz Carlos' formal and informal talks and publications. Of course, he was not the first to dedicate himself to these questions, but he always raises and deals with them enthusiastically. This enthusiasm, together with his intellectual perspicacity, has allowed us to enjoy a wonderful journey into the world of proofs. Although not all contributions focus directly on proof theory, we can feel its echos in all of them.