Advances in Natural Deduction

Name: Advances in Natural Deduction
Brand: Springer
SKU: 9789400775473
Price: 51223 HUF
Availability: InStock

A Celebration of Dag Prawitz's Work

Szerző: Luiz Carlos Pereira, Edward Hermann Haeusler, Valeria de Paiva

Nyelv:

Kötés: Kemény kötésű

Kiadó: Springer

Elérhetőség: Beszállítói készleten

Küldés 10-13 napon belül

51 223 Ft

This collection of original papers by celebrated figures in the field of natural deduction honors th...

Információk a könyvről

Szerző

Luiz Carlos Pereira, Edward Hermann Haeusler, Valeria de Paiva

Nyelv

Angol

Kötés

Könyv - Kemény kötésű

Kiadva

2014

oldal

279

EAN

9789400775473

ISBN

9400775474

Enbook ID

05323125

Kiadó

Springer

Súly

580

Méretek

159 x 242 x 22

Teljes leírás

This collection of original papers by celebrated figures in the field of natural deduction honors the ground-breaking work of Swedish logician Dag Prawits. It provides a wide-ranging survey of the latest research in proof theory and its many applications.§

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Advances in Natural Deduction

A Celebration of Dag Prawitz's Work

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták