Search

Your search returned 4 results.

Not what you expected? Check for suggestions

Results
		No cover image available Residuated lattices [electronic resource] : an algebraic glimpse at substructural logics / Nikolaos Galatos ... [et al.]. by Galatos, Nikolaos \| ProQuest (Firm). Series: Studies in logic and the foundations of mathematics ; v. 151.Edition: 1st ed.Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Amsterdam ; Boston : Elsevier, 2007Online access: Click to View Availability: No items available. Add to cart (remove)
		No cover image available Lectures on the Curry-Howard isomorphism [electronic resource] / Morten Heine Srensen, Pawe Urzyczyn. by Srensen, Morten Heine \| Urzyczyn, Pawe \| ProQuest (Firm). Series: Studies in logic and the foundations of mathematics ; v. 149.Edition: 1st ed.Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Amsterdam ; Boston [MA] : Elsevier, 2006Online access: Click to View Availability: No items available. Add to cart (remove)
		No cover image available Realizability [electronic resource] : an introduction to its categorical side / Jaap van Oosten. by Oosten, Jaap van \| ProQuest (Firm). Series: Studies in logic and the foundations of mathematics ; 152.Edition: 1st ed.Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Oxford : Elsevier, 2008Online access: Click to View Availability: No items available. Add to cart (remove)
		No cover image available Handbook of mathematical logic [electronic resource] / edited by Jon Barwise, with the cooperation of H.J. Keisler ... [et al.]. by Barwise, Jon \| Keisler, H. Jerome \| ProQuest (Firm). Series: Studies in logic and the foundations of mathematics ; v. 90.Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Amsterdam ; New York : North-Holland Pub. Co., 1977Online access: Click to View Availability: No items available. Add to cart (remove)