Parikh Rohit (28 results)
- Softcover
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germanybooks4less (Versandantiquariat Petra Gros GmbH & Co. KG)
Contact seller5-star sellerCondition: Used - Very good
US$ 5.82
US$ 11.35 shippingShips from Germany to U.S.A.Quantity: 1 available
Broschiert. Condition: Gut. 250 Seiten Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm:…395.
- Softcover
Seller: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, United KingdomHay-on-Wye Booksellers
Contact seller4-star sellerCondition: Used - Good
US$ 11.98
US$ 33.44 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: Good. Light wear to the extremities of the book. Inscriptions at the front. Clean and readable throughout.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 69.98
US$ 16.02 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
US$ 66.02
US$ 20.72 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
Paperback. Condition: New.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 62.87
US$ 72.22 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Nonclausal temporal deduction.- Unsolvable terms in typed lambda calculus with fix-point operators: Extended abstract.- Lambda calculus with constrained types.- An axiomatic treatment of a parallel programming language.- Recursive definitions in ty…pe theory.- Errata.- Automata, tableaux, and temporal logics.- Proving termination of Prolog programs.- A Hoare Calculus for functions defined by recursion on higher types.- On the relative incompleteness of logics for total correctness.- From synchronization tree logic to acceptance model logic.- A FASE specification of FP.- On asymptotic probabilities of inductive queries and their decision problem.- Compositional semantics for real-time distributed computing.- Partial-correctness theories as first-order theories.- The glory of the past.- Continuation semantics in typed lambda-calculi.- Second-order logical relations.- Behavior: a temporal appreach to process modeling.- Equational logic as a programming language: Abstract.- Distributed processes and the logic of knowledge.- Some constructions for order-theoretic models of concurrency.- Proving fairness of schedulers.- The reasoning powers of Burstall's (modal logic) and Pnueli's (temporal logic) program verification methods.- A partial correctness logic for procedures.- A proof system for Distributed Processes.- Fixpoints and program looping: Reductions from the Propositional mu-calculus into Propositional Dynamic Logics of Looping.- Semantical analysis of specification logic.- A simple programming language with data types: semantics and verification.- Computer aided reasoning.- The taming of converse: Reasoning about two-way computations.
Language: English
Published by Springer, 2011
Series: Synthese Library, Book 57 of 304. Book 57 of 304 - Synthese Library
- Hardcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 189.90
US$ 16.02 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
Language: English
Published by Springer, 2013
Series: Synthese Library, Book 57 of 304. Book 57 of 304 - Synthese Library
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 189.90
US$ 16.02 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
More imagesLanguage: English
Published by Springer, 2013
Series: Synthese Library, Book 57 of 304. Book 57 of 304 - Synthese Library
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 164.67
US$ 79.88 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Proof, Computation and Agency | Logic at the Crossroads | Johan Van Benthem (u. a.) | Taschenbuch | xxiv | Englisch | 2013 | Springer | EAN 9789400735811 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter…: preigu.
Language: English
Published by Springer, 2011
Series: Synthese Library, Book 57 of 304. Book 57 of 304 - Synthese Library
- Hardcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 240.23
US$ 3.99 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 396.
Language: English
Published by Springer, 2011
Series: Synthese Library, Book 57 of 304. Book 57 of 304 - Synthese Library
- Hardcover
Seller: Buchpark, Trebbin, GermanyBuchpark
Contact seller5-star sellerCondition: Used
US$ 143.30
US$ 119.82 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: Hervorragend. Zustand: Hervorragend | Seiten: 372 | Sprache: Englisch | Produktart: Bücher | Proof, Computation and Agency: Logic at the Crossroads provides an overview of modern logic and its relationship with other disciplines. As a highlight, several articles pursue an inspiring paradigm called 'social software', w…hich studies patterns of social interaction using techniques from logic and computer science. The book also demonstrates how logic can join forces with game theory and social choice theory. A second main line is the logic-language-cognition connection, where the articles collected here bring several fresh perspectives. Finally, the book takes up Indian logic and its connections with epistemology and the philosophy of science, showing how these topics run naturally into each other.
Language: English
Published by Springer, Springer, 2013
Series: Synthese Library, Book 57 of 304. Book 57 of 304 - Synthese Library
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 198.32
US$ 71.88 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Proof, Computation and Agency: Logic at the Crossroads provides an overview of modern logic and its relationship with other disciplines. As a highlight, several articles pursue an inspiring paradigm called 'social software', which studies patterns…of social interaction using techniques from logic and computer science. The book also demonstrates how logic can join forces with game theory and social choice theory. A second main line is the logic-language-cognition connection, where the articles collected here bring several fresh perspectives. Finally, the book takes up Indian logic and its connections with epistemology and the philosophy of science, showing how these topics run naturally into each other.
- Softcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: Used - As new
US$ 253.49
US$ 33.44 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Like New. Like New .Ships From Multiple Locations. book.
Language: English
Published by Springer Verlag, 2010
Series: Synthese Library, Book 57 of 304. Book 57 of 304 - Synthese Library
- Hardcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 274.54
US$ 16.72 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Hardcover. Condition: Brand New. 1st edition. 371 pages. 9.00x6.00x1.25 inches. In Stock.
Published by Dordrecht, Kluwer Academic Publishers., 2003
- Softcover
Seller: Antiquariat Haufe & Lutz, Karlsruhe, BW, GermanyAntiquariat Haufe & Lutz
Contact seller4-star sellerCondition: Used
US$ 29.38
US$ 54.76 shippingShips from Germany to U.S.A.Quantity: 1 available
Add to basket6 Hefte. 8°. OKart. Neuwertiges Exemplar. Sprache: deutsch.
Language: English
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Jun 1985, 1985
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
US$ 62.87
US$ 26.25 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Nonclausal temporal deduction.- Unsolvable terms in typed lambda calculus with fix-point operators: Extended abstract.- Lambda calculus with constrained types.- An axiomatic treatment of a parallel programming language.- Recursive d…efinitions in type theory.- Errata.- Automata, tableaux, and temporal logics.- Proving termination of Prolog programs.- A Hoare Calculus for functions defined by recursion on higher types.- On the relative incompleteness of logics for total correctness.- From synchronization tree logic to acceptance model logic.- A FASE specification of FP.- On asymptotic probabilities of inductive queries and their decision problem.- Compositional semantics for real-time distributed computing.- Partial-correctness theories as first-order theories.- The glory of the past.- Continuation semantics in typed lambda-calculi.- Second-order logical relations.- Behavior: a temporal appreach to process modeling.- Equational logic as a programming language: Abstract.- Distributed processes and the logic of knowledge.- Some constructions for order-theoretic models of concurrency.- Proving fairness of schedulers.- The reasoning powers of Burstall's (modal logic) and Pnueli's (temporal logic) program verification methods.- A partial correctness logic for procedures.- A proof system for Distributed Processes.- Fixpoints and program looping: Reductions from the Propositional mu-calculus into Propositional Dynamic Logics of Looping.- Semantical analysis of specification logic.- A simple programming language with data types: semantics and verification.- Computer aided reasoning.- The taming of converse: Reasoning about two-way computations. 436 pp. Englisch.
- Softcover
- Print on Demand
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
US$ 56.85
US$ 55.91 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Nonclausal temporal deduction.- Unsolvable terms in typed lambda calculus with fix-point operators: Extended abstract.- Lambda calculus with constrained types.- An axiomatic treatment of a parallel programming languag…e.- Recursive definitions in type theory.
- Softcover
- Print on Demand
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germanybuchversandmimpf2000
Contact seller5-star sellerCondition: New
US$ 62.87
US$ 68.47 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Nonclausal temporal deduction.- Unsolvable terms in typed lambda calculus with fix-point operators: Extended abstract.- Lambda calculus with constrained types.- An axiomatic treatment of a parallel programming language.- Recursive defin…itions in type theory.- Errata.- Automata, tableaux, and temporal logics.- Proving termination of Prolog programs.- A Hoare Calculus for functions defined by recursion on higher types.- On the relative incompleteness of logics for total correctness.- From synchronization tree logic to acceptance model logic.- A FASE specification of FP.- On asymptotic probabilities of inductive queries and their decision problem.- Compositional semantics for real-time distributed computing.- Partial-correctness theories as first-order theories.- The glory of the past.- Continuation semantics in typed lambda-calculi.- Second-order logical relations.- Behavior: a temporal appreach to process modeling.- Equational logic as a programming language: Abstract.- Distributed processes and the logic of knowledge.- Some constructions for order-theoretic models of concurrency.- Proving fairness of schedulers.- The reasoning powers of Burstall's (modal logic) and Pnueli's (temporal logic) program verification methods.- A partial correctness logic for procedures.- A proof system for Distributed Processes.- Fixpoints and program looping: Reductions from the Propositional mu-calculus into Propositional Dynamic Logics of Looping.- Semantical analysis of specification logic.- A simple programming language with data types: semantics and verification.- Computer aided reasoning.- The taming of converse: Reasoning about two-way computations.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 436 pp. Englisch.
More images- Softcover
- Print on Demand
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 59.07
US$ 79.88 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Logics of Programs | Brooklyn, June 17-19, 1985 | Rohit Parikh | Taschenbuch | viii | Englisch | 1985 | Springer | EAN 9783540156482 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Dem…and.
Language: English
Published by Springer, 2011
Series: Synthese Library, Book 57 of 304. Book 57 of 304 - Synthese Library
- Hardcover
- Print on Demand
Seller: Brook Bookstore On Demand, Napoli, NA, ItalyBrook Bookstore On Demand
Contact seller5-star sellerCondition: New
US$ 148.41
US$ 7.76 shippingShips from Italy to U.S.A.Quantity: Over 20 available
Condition: new. Questo è un articolo print on demand.
Language: English
Published by Springer, 2013
Series: Synthese Library, Book 57 of 304. Book 57 of 304 - Synthese Library
- Softcover
- Print on Demand
Seller: Brook Bookstore On Demand, Napoli, NA, ItalyBrook Bookstore On Demand
Contact seller5-star sellerCondition: New
US$ 148.41
US$ 7.76 shippingShips from Italy to U.S.A.Quantity: Over 20 available
Condition: new. Questo è un articolo print on demand.
Language: English
Published by Springer, 2013
Series: Synthese Library, Book 57 of 304. Book 57 of 304 - Synthese Library
- Softcover
- Print on Demand
Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contact seller5-star sellerCondition: New
US$ 154.04
Free ShippingShips within U.S.A.Quantity: 10 available
Condition: Brand New. New. US edition. Print on demand title. Delivery takes 20-25 days. Excellent Customer Service.
Language: English
Published by Springer, 2011
Series: Synthese Library, Book 57 of 304. Book 57 of 304 - Synthese Library
- Hardcover
- Print on Demand
Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contact seller5-star sellerCondition: New
US$ 154.04
Free ShippingShips within U.S.A.Quantity: 10 available
Condition: Brand New. New. US edition. Print on demand title. Delivery takes 20-25 days. Excellent Customer Service.
Language: English
Published by Springer Netherlands Mai 2013, 2013
Series: Synthese Library, Book 57 of 304. Book 57 of 304 - Synthese Library
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
US$ 188.63
US$ 26.25 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Proof, Computation and Agency: Logic at the Crossroads provides an overview of modern logic and its relationship with other disciplines. As a highlight, several articles pursue an inspiring paradigm called 'social software', which s…tudies patterns of social interaction using techniques from logic and computer science. The book also demonstrates how logic can join forces with game theory and social choice theory. A second main line is the logic-language-cognition connection, where the articles collected here bring several fresh perspectives. Finally, the book takes up Indian logic and its connections with epistemology and the philosophy of science, showing how these topics run naturally into each other. 396 pp. Englisch.
Language: English
Published by Springer Netherlands, 2013
Series: Synthese Library, Book 57 of 304. Book 57 of 304 - Synthese Library
- Softcover
- Print on Demand
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
US$ 160.04
US$ 55.91 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. -offers a mixture of well-established authors and a new generation of feminist scholars-the relative dearth of collected volumes devoted to feminist epistemology in the last decade lends significance to the broad-rang…ing collection-represents significant de.
Language: English
Published by Springer Netherlands, 2011
Series: Synthese Library, Book 57 of 304. Book 57 of 304 - Synthese Library
- Hardcover
- Print on Demand
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
US$ 161.34
US$ 55.91 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Gebunden. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. -offers a mixture of well-established authors and a new generation of feminist scholars-the relative dearth of collected volumes devoted to feminist epistemology in the last decade lends significance to the…broad-ranging collection-represents significant de.
Language: English
Published by Springer, Springer Mai 2013, 2013
Series: Synthese Library, Book 57 of 304. Book 57 of 304 - Synthese Library
- Softcover
- Print on Demand
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germanybuchversandmimpf2000
Contact seller5-star sellerCondition: New
US$ 188.63
US$ 68.47 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Proof, Computation and Agency: Logic at the Crossroads provides an overview of modern logic and its relationship with other disciplines. As a highlight, several articles pursue an inspiring paradigm called 'social software', which studi…es patterns of social interaction using techniques from logic and computer science. The book also demonstrates how logic can join forces with game theory and social choice theory. A second main line is the logic-language-cognition connection, where the articles collected here bring several fresh perspectives. Finally, the book takes up Indian logic and its connections with epistemology and the philosophy of science, showing how these topics run naturally into each other.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 396 pp. Englisch.
Language: English
Published by Springer, 2011
Series: Synthese Library, Book 57 of 304. Book 57 of 304 - Synthese Library
- Hardcover
- Print on Demand
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: New
US$ 251.21
US$ 8.69 shippingShips from United Kingdom to U.S.A.Quantity: 4 available
Condition: New. Print on Demand pp. 396 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.
Language: English
Published by Springer, 2011
Series: Synthese Library, Book 57 of 304. Book 57 of 304 - Synthese Library
- Hardcover
- Print on Demand
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
US$ 267.56
US$ 11.35 shippingShips from Germany to U.S.A.Quantity: 4 available
Condition: New. PRINT ON DEMAND pp. 396.
