Normal view MARC view ISBD view

Logic and proof techniques

By: Eberle, Rolf A Language: English Language Publication details: Calcutta : New Central Book Agency, 1996Description: iv, [6], 339p ; 25 cmISBN: 8173812322Subject(s): Logic, Symbolic and mathematical | Logic designDDC classification: 160

Tags from this library: No tags from this library for this title.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Status	Date due	Barcode
Lending Books	Main Library Lending Section	Lending Collection	160 EBE (Browse shelf (Opens below))	Available		140811
Lending Books	Main Library Lending Section	Lending Collection	160 EBE (Browse shelf (Opens below))	Available		140812

Previous		No cover image available No cover image available	No cover image available No cover image available					Next
Previous	160 E Explanation and its limits	160 E General logic : an introductory survey	160 E Reason in theory and practice	160 EBE Logic and proof techniques	160 EBE Logic and proof techniques	160 EDI මූලික තර්ක ශාස්ත්‍රය	160 EDI මූලික තර්ක ශාස්ත්‍රය	Next

There are no comments on this title.

to post a comment.

Click on an image to view it in the image viewer