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
The titles shown in BOLD have items available, non bold titles do not have any items in stock
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
The titles shown in BOLD have items available, non bold titles do not have any items in stock

Quick Search