Advances in Natural Deduction

Name: Advances in Natural Deduction
Brand: Springer
SKU: 9789402406870
Price: 50206 HUF
Availability: InStock

A Celebration of Dag Prawitz's Work

Szerző: Valeria De Paiva, Edward Haeusler, Luiz Carlos Pereira

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer

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

Küldés 5-8 napon belül

50 206 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ő

Valeria De Paiva, Edward Haeusler, Luiz Carlos Pereira

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2016

oldal

279

EAN

9789402406870

ISBN

9402406875

Enbook ID

14170671

Kiadó

Springer

Súly

4511

Méretek

155 x 235 x 15

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