Proof, Computation and Agency

Name: Proof, Computation and Agency
Brand: Springer
SKU: 9789400735811
Price: 639.94 PLN
Availability: InStock

Logic at the Crossroads

Autor: Johan Van Benthem, Amitabha Gupta, Rohit Parikh

Język:

Oprawa: Miękka

Wydawca: Springer

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

639.94 zł

This overview of modern logic and its relationship with other disciplines includes several articles...

Informacje o książce

Autor

Johan Van Benthem, Amitabha Gupta, Rohit Parikh

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2013

strony

372

EAN

9789400735811

ISBN

9400735812

Enbook ID

05323054

Wydawca

Springer

Waga

605

Wymiary

157 x 22 x 21

Pełny opis

This overview of modern logic and its relationship with other disciplines includes several articles that explore an inspiring new paradigm called 'social software', which studies patterns of social interaction using techniques from logic and computer science.§

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Proof, Computation and Agency

Logic at the Crossroads

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również