Your search returned 2 results.

Results
	1.	Logic and structure by Dalen, Dirk van Series: Universitext Edition: 4th ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer, ©2004 Online access: Contributor biographical information Publisher description Table of contents only Availability: Items available for reference: IIITD: Not for loan (1)Call number: REF 511.3 DAL-L. Add to cart (remove)
	2.	Computer Science Logic [electronic resource] : 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, Selected Papers / by Dalen, Dirk van [editor.] Bezem, Marc [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1258 Edition: 1st ed. 1997. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

Refine your search