Advances in Natural Deduction

Name: Advances in Natural Deduction
Brand: Springer
SKU: 9789400775473
Price: 716.01 RON
Availability: InStock

A Celebration of Dag Prawitz's Work

Autor: Luiz Carlos Pereira, Edward Hermann Haeusler, Valeria de Paiva

Limbă:

Legare: Copertă tare

Editura: Springer

Disponibilitate: În depozitul extern

Expediem în 10-13 zile

716.01 lei

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

Informații despre carte

Autor

Luiz Carlos Pereira, Edward Hermann Haeusler, Valeria de Paiva

Limbă

engleză

Legare

Carte - Copertă tare

Publicat

2014

Pagini

279

EAN

9789400775473

ISBN

9400775474

Enbook ID

05323125

Editura

Springer

Greutate

580

Dimensiuni

159 x 242 x 22

Descriere completă

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.§

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Advances in Natural Deduction

A Celebration of Dag Prawitz's Work

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și