Author: David J. Pym
Author's info and books
Information about author David J. Pym from several data sources.
AI-generated bio of "David J. Pym":
Authors Results
Source: The Open Library
Authors called "David J. Pym"
Search results for authors called David J. Pym from The Open Library
Books Results
Source: The Open Library
David J. Pym Books
Books writen by author David J. Pym from The Open Library
1Reductive logic and proof-search
By David J. Pym and Eike Ritter
“Reductive logic and proof-search” Metadata:
- Title: ➤ Reductive logic and proof-search
- Authors: David J. PymEike Ritter
- Language: English
Access and General Info:
- First Year Published: 2004
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Reductive logic and proof-search at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2The Semantics and Proof Theory of the Logic of Bunched Implications
By David J. Pym
“The Semantics and Proof Theory of the Logic of Bunched Implications” Metadata:
- Title: ➤ The Semantics and Proof Theory of the Logic of Bunched Implications
- Author: David J. Pym
- Language: English
Access and General Info:
- First Year Published: 2002
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find The Semantics and Proof Theory of the Logic of Bunched Implications at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Errata and remarks
By David J. Pym
“Errata and remarks” Metadata:
- Title: Errata and remarks
- Author: David J. Pym
- Language: English
Access and General Info:
- First Year Published: 1993
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Errata and remarks at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4Proofs, Search and Computation in General Logic
By David J. Pym
“Proofs, Search and Computation in General Logic” Metadata:
- Title: ➤ Proofs, Search and Computation in General Logic
- Author: David J. Pym
- Language: English
Access and General Info:
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Proofs, Search and Computation in General Logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
5The semantics and proof theory of the logic of bunched implications
By David J. Pym
“The semantics and proof theory of the logic of bunched implications” Metadata:
- Title: ➤ The semantics and proof theory of the logic of bunched implications
- Author: David J. Pym
- Language: English
Access and General Info:
- First Year Published: 2002
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find The semantics and proof theory of the logic of bunched implications at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
6The Semantics and Proof Theory of the Logic of Bunched Implications (Applied Logic Series)
By David J. Pym
“The Semantics and Proof Theory of the Logic of Bunched Implications (Applied Logic Series)” Metadata:
- Title: ➤ The Semantics and Proof Theory of the Logic of Bunched Implications (Applied Logic Series)
- Author: David J. Pym
- Language: English
Access and General Info:
- First Year Published: 2002
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find The Semantics and Proof Theory of the Logic of Bunched Implications (Applied Logic Series) at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
7Economics of information security and privacy
By Tyler Moore, David J. Pym and C. Ioannidis
“Economics of information security and privacy” Metadata:
- Title: ➤ Economics of information security and privacy
- Authors: Tyler MooreDavid J. PymC. Ioannidis
- Language: English
Access and General Info:
- First Year Published: 2010
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Economics of information security and privacy at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
8We All Fall Down
By David Blixt, Jean Gill, Kristin Gleeson, J. K. Knauss, Laura Morelli, Katherine Pym, Deborah Swift and Melodie Winawer
“We All Fall Down” Metadata:
- Title: We All Fall Down
- Authors: ➤ David BlixtJean GillKristin GleesonJ. K. KnaussLaura MorelliKatherine PymDeborah SwiftMelodie Winawer
Access and General Info:
- First Year Published: 2020
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find We All Fall Down at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.