Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Proof, Computation and Agency

Logic at the Crossroads

Language EnglishEnglish
Book Hardback
Book Proof, Computation and Agency Amitabha Gupta
Libristo code: 05322970
Publishers Springer, April 2011
This overview of modern logic and its relationship with other disciplines includes several articles... Full description
? points 436 b
65 322 Ft
Low in stock at our supplier Shipping in 13-18 days

Up to 30 days for returns

Customers also purchased

Ab in die Flitterwochen! Ronit Jariv / Book Paperback
common.buy 5 944 Ft
Muskettisoturit taistelevat Dumas Alexandre Dumas / E-book Adobe ePub DRM
common.buy 4 401 Ft
L'AIR N 5 RONDELS 2EME SERIE VOIX ELEVEE-PIANO CHANT CHARLES KOECHLIN Book binding.
common.buy 5 434 Ft
Historique Du 11 Regiment De Dragons Depuis Sa Creation En 1674 Jusqu'en 1890 (1891) Charles J. Arthur Savin De Larclause / Book Paperback
common.buy 13 102 Ft
Musical Hans-Günther Kölz / Printed items Sheet music
common.buy 5 359 Ft
Montagestrukturplanung Fur Variantenreiche Serienprodukte Ulrich Zeile / Book Paperback
common.buy 20 888 Ft
Schriften. Band 4 Carl Wilhelm Salice Contessa / Book Hardback
common.buy 46 804 Ft
El trigo y la mala hierba DANIEL LONDOÑO SILVA / Book Paperback
common.buy 883 Ft
Malleus Maleficarum, das ist Heinrich Institoris / Book Paperback
common.buy 6 752 Ft
Water trips : Itinerari acquatici ai tempi della crisi idrica Lorenzo Monaco / Book Paperback
common.buy 6 289 Ft
Таро Тота (78 карт) Алистер Кроули / Book binding.
common.buy 9 986 Ft
Ilustrovaná Biblia Eric Thomas Selina / Book Hardback
common.buy 8 130 Ft
Mendelssohn Bartholdy, Felix - Variations sérieuses op. 54 Felix Mendelssohn Bartholdy / Printed items Sheet music
common.buy 4 433 Ft
Zweiachsige Nachformeinrichtungen G. Augsten / Book Paperback
common.buy 20 888 Ft

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

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Proof, Computation and Agency
Author Amitabha Gupta, Rohit Parikh, Johan F. A. K. van Benthem
Language English
Binding Book - Hardback
Date of issue 2011
Number of pages 372
EAN 9789400700796
ISBN 9400700792
Libristo code 05322970
Publishers Springer
Weight 734
Dimensions 246 x 160 x 27

Categories

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Philosophy & Religion > Philosophy > Topics in philosophy > Philosophy: logic
Philosophy & Religion > Philosophy > History of philosophy, philosophical traditions
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science > Mathematical theory of computation
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Sometimes I'm a Gator Pam Leitzell / Book Paperback
common.buy 6 331 Ft
Notion of an Ideal Audience in Legal Argument G. C. Christie / Book Paperback
common.buy 40 544 Ft
Guelph Versifiers of the 19th Century Knight / Book Paperback
common.buy 6 152 Ft
These Were the Romans Graham Tingay / Book Paperback
common.buy 8 626 Ft
Jimmy's Blues Christian Filips / Book Paperback
common.buy 7 413 Ft
Sword Empire Robert Leader / Book Paperback
common.buy 4 939 Ft
Picture of Dorian Gray Oscar Wilde / Book Hardback
common.buy 9 655 Ft
Tubby Meets Katrina Tony Dunbar / Book Hardback
common.buy 8 041 Ft
Characterisation of Women in Maxim Gorky's Novel "Mother". A Marxist Feminist Perspective Javed Akhtar / Book Paperback
common.buy 6 407 Ft
Ask Wendy Wendy Williams / Book Paperback
common.buy 5 213 Ft
Marihuana and Medicine Stig Agurell / Book Hardback
common.buy 80 969 Ft
West Nile Fever & Dengue Fever viruses in Suburban areas in Khartoum Khalid Abdalla Abdelhalim / Book Paperback
common.buy 14 131 Ft
Automated Deduction in Classical and Non-Classical Logics Ricardo Caferra / Book Paperback
common.buy 20 331 Ft
Proceedings Of The 12th Asian Logic Conference Jorg Brendle / Book Hardback
common.buy 52 281 Ft
Transgenerational Entrepreneurship - Exploring Growth and Performance in Family Firms Across Generations Mattias Nordqvist / Book Hardback
common.buy 52 598 Ft
Preliminary Studies KINSEY / Printed items Sheet music
common.buy 3 414 Ft
EU as global actor and its influence on the global gender regime Stefanie Kessler / Book Paperback
common.buy 15 199 Ft

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?