IMSc Library catalog › Results of search for 'ccl=su:"Logic, Symbolic and mathematical."'

Your search returned 2 results.

Not what you expected? Check for suggestions

			Types for Proofs and Programs [electronic resource] : International Workshop, TYPES’99 Lökeberg, Sweden, June 12–16, 1999 Selected Papers / edited by Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith. by Coquand, Thierry [editor.] \| Dybjer, Peter [editor.] \| Nordström, Bengt [editor.] \| Smith, Jan [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1956Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Types for Proofs and Programs [electronic resource] : International Workshop TYPES '94 Båstad, Sweden, June 6–10, 1994 Selected Papers / edited by Peter Dybjer, Bengt Nordström, Jan Smith. by Dybjer, Peter [editor.] \| Nordström, Bengt [editor.] \| Smith, Jan [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 996Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags