Shortcuts
SISSA Library . Default .
PageMenu- Main Menu-
Page content
 

Search Results

Your Search for Combined Author=PYM DAVID J returned 2 Items

Search Result Page: .   1   .   . Page: 1 of 1
SELECT THE TITLE TO ACCESS THE AVAILABILITY INFORMATION
Display results in shelf format.
Search Results
Result Thumbnail Title Author Year Flags Holding Information
1 Reductive logic and proof-search: proof theory, semantics, and control Reductive logic and proof-search: proof theory, semantics, and control [Ebook]
Series:Oxford logic guidesVolume:45
 		Pym, David J. 2007 Ebook URL Exists Catalogue Record Shelf Location: Online Resource : Oxford Scholarship Online.
2 The Semantics and Proof Theory of the Logic of Bunched Implications The Semantics and Proof Theory of the Logic of Bunched Implications [Ebook]
Series:Applied Logic SeriesVolume:26
 		Pym, David J. 2002 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
Search Result Page: .   1   .   . Page: 1 of 1
SELECT THE TITLE TO ACCESS THE AVAILABILITY INFORMATION

Quick Search