Pym david j (57 resultados)

Condición: As New. Unread book in perfect condition.

Condición: New.

Condición: New.

Condición: New. In English.

Paperback. Condición: Brand New. 208 pages. 9.00x6.00x0.47 inches. In Stock.

Condición: New.

Condición: As New. Unread book in perfect condition.

Condición: very_good. Gently read. May have name of previous ownership, or ex-library edition. Binding tight; spine straight and smooth, with no creasing; covers clean and crisp. Minimal signs of handling or shelving. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships USPS Media Mail.…

Condición: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.…

Condición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

Condición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Condición: New. Print on Demand pp. 210.

Condición: New.

Gebunden. Condición: New.

Condición: New. In English.

Condición: New. In English.

HRD. Condición: Used - Very Good. Used - Like New Book. Shipped from UK. Established seller since 2000.

HRD. Condición: Used - Very Good. Used - Like New Book. Shipped from UK. Established seller since 2000.

Condición: Used. pp. 232.

Couverture rigide. Condición: Neuf.

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This is a monograph about logic. Specifically, it presents the mathe matical theory of the logic of bunched implications, BI: I consider Bl's proof theory, model theory and computation theory. However, the mono graph is also about informatics in a sense which I explain. Specifically, it is about mathematical models of resources and logics for reasoning about resources. I begin with an introduction which presents my (background) view of logic from the point of view of informatics, paying particular attention to three logical topics which have arisen from the development of logic within informatics: - Resources as a basis for semantics; - Proof-search as a basis for reasoning; and - The theory of representation of object-logics in a meta-logic. The ensuing development represents a logical theory which draws upon the mathematical, philosophical and computational aspects of logic. Part I presents the logical theory of propositional BI, together with a computational interpretation. Part II presents a corresponding devel opment for predicate BI. In both parts, I develop proof-, model- and type-theoretic analyses. I also provide semantically-motivated compu tational perspectives, so beginning a mathematical theory of resources. I have not included any analysis, beyond conjecture, of properties such as decidability, finite models, games or complexity. I prefer to leave these matters to other occasions, perhaps in broader contexts.…

Buch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This is a monograph about logic. Specifically, it presents the mathe matical theory of the logic of bunched implications, BI: I consider Bl's proof theory, model theory and computation theory. However, the mono graph is also about informatics in a sense which I explain. Specifically, it is about mathematical models of resources and logics for reasoning about resources. I begin with an introduction which presents my (background) view of logic from the point of view of informatics, paying particular attention to three logical topics which have arisen from the development of logic within informatics: - Resources as a basis for semantics; - Proof-search as a basis for reasoning; and - The theory of representation of object-logics in a meta-logic. The ensuing development represents a logical theory which draws upon the mathematical, philosophical and computational aspects of logic. Part I presents the logical theory of propositional BI, together with a computational interpretation. Part II presents a corresponding devel opment for predicate BI. In both parts, I develop proof-, model- and type-theoretic analyses. I also provide semantically-motivated compu tational perspectives, so beginning a mathematical theory of resources. I have not included any analysis, beyond conjecture, of properties such as decidability, finite models, games or complexity. I prefer to leave these matters to other occasions, perhaps in broader contexts.…

Condición: New. pp. 342.

Taschenbuch. Condición: Neu. The Semantics and Proof Theory of the Logic of Bunched Implications | David J. Pym | Taschenbuch | Applied Logic Series | xlix | Englisch | 2010 | Springer | EAN 9789048160723 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Condición: New. pp. 344.

Condición: New.

Condición: New.

Condición: New.

Condición: New.

Paperback. Condición: Brand New. 338 pages. 9.25x6.10x0.77 inches. In Stock.