Normal view MARC view ISBD view

Symbolic logic : decision procedures P. Balasubramanian

By: Balasubramanian, PMaterial type: Text

TextLanguage: eng Publication details: Madras : University of Madras, 1980Description: vi, 168 p. ; 22 cmSubject(s): Symbolic logicDDC classification: 164 BAL

Item type:

Tags from this library: No tags from this library for this title. Log in to add tags.

Holdings ( 1 )
Title notes ( 1 )
Comments ( 0 )

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
Books	Mysore University Main Library	164 BAL (Browse shelf (Opens below))	Available		274106

Browsing Mysore University Main Library shelves, Shelving location: Philosophy Close shelf browser (Hides shelf browser)

Previous		No cover image available	No cover image available	No cover image available		No cover image available	No cover image available	Next
Previous	164 AJD Pragmatic logic	164 ALI Fundamentals of symbolic logic	164 AMB Fundamentals of symbolic logic	164 BAL Symbolic logic : decision procedures	164 BAR Handbook of mathematical logic/edited by	164 BET Formal methods :	164 BOL Paradoxes of the infinite	Next

Includes index.

There are no comments on this title.

to post a comment.