Your search returned 2 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
No cover image available
Twenty-five years of constructive type theory [electronic resource] : proceedings of a congress held in Venice, October 1995 / edited by Giovanni Sambin and Jan M. Smith.

by Sambin, Giovanni | Smith, Jan M | ProQuest (Firm).

Series: Oxford logic guides ; 36. | Oxford science publicationsMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Oxford : New York : Clarendon Press ; Oxford University Press, 1998Other title: 25 years of constructive type theory.Online access: Click to View Availability: No items available.

Add to cart
The theory of logical types [electronic resource] / by Irving M. Copi.

by Copi, Irving M | ProQuest (Firm).

Series: Routledge revivalsMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: London : Routledge & Kegan Paul, 1971Online access: Click to View Availability: No items available.

Add to cart
Pages