Your search returned 2 results.

Results
	1.	No cover image available (Omega)-Bibliography of mathematical logic proof theory : constructive mathematics by Troelstra A S ;.ed Dalen Dirk van [ed.] Kister J E [ed.] Muller G H [ed.] Series: Perspectives in mathematical logic; v 6 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 1987 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 016.5101 M958. Place hold Add to cart (remove)
	2.	Computer science logic selected papers by Dalen Dirk van ed Annual Conference of the European Association for Computer Science Logic, CSL'96 (21-27 Sep 1996 : Utrecht,Netherlands) Annual conference of the European Association for Computer Science Logic, CSL'96 Utrecht, Netherlands 21-27 Sept 1996 Series: Lecture notes in computer science; v 1258 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 1997 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 5.131 An613. Place hold Add to cart (remove)

Refine your search