Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
No cover image available No cover image available No cover image available
Diagrammatic reasoning: cognitive and computational perspectives Textual Documents by
Material type: Text Text; Format: print regular print ; Audience: General;
Language: English Original language: NULL
Publication details: London : AAAI Press/MIT Press , 1995
Availability: Items available for loan: Dept. of Computer Science (1)Call number: 006.33.
Place hold Add to cart
Applied proof theory : proof interpretations and their use in mathematics / U. Kohlenbach. by Series: Springer monographs in mathematics
Material type: Text Text
Publication details: Berlin : Springer, c2008
Availability: Items available for loan: Dept. of Futures Studies (1)Call number: 511.3 KOH.
Place hold Add to cart
Pages