Read Anywhere and on Any Device!

Subscribe to Read | $0.00

Join today and start reading your favorite books for Free!

Create Free Account

Quick and Easy Sign Up!

It takes less then 1 minute to sign up, then you can enjoy Unlimited eBooks.

Sign Up Browse

Popular Genres

Read Anywhere and on Any Device!

  • Download on iOS
  • Download on Android
  • Download on iOS

Proof, Computation and Agency: Logic at the Crossroads

Proof, Computation and Agency: Logic at the Crossroads

Rohit Parikh
0/5 ( ratings)
Read Download
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.
Pages
372
Format
Paperback
Publisher
Springer
Release
May 29, 2013
ISBN
9400735812
ISBN 13
9789400735811

Proof, Computation and Agency: Logic at the Crossroads

Rohit Parikh
0/5 ( ratings)
Read Download
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.
Pages
372
Format
Paperback
Publisher
Springer
Release
May 29, 2013
ISBN
9400735812
ISBN 13
9789400735811

More books from Rohit Parikh

Logics of Programs

0/5 ( ratings)

Logics of Programs: Brooklyn, June 17-19, 1985

0/5 ( ratings)

Rate this book!

Write a review?

loader