Normal view MARC view ISBD view

Techniques of dedutive inference

Material type: Text

TextPublisher: New Jersey Prentice-Hall 1966Description: VII, 216pSubject(s): Mathematical logic

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

Average rating: 0.0 (0 votes)

Item type	Current location	Call number	Status	Date due	Barcode
BK	Mangalore University Library	511.3 LEB (Browse shelf)	Available		11529

Previous		No cover image available	No cover image available	No cover image available	No cover image available			Next
Previous	511.3 LAT.1 Lattice theory	511.3 LAW S Conceptual mathematics: A first introduction to categories	511.3 LAW S;1 Conceptual mathematics: A first introduction to categories	511.3 LEB Techniques of dedutive inference	511.3 LEW Unsolbable classes of quantificational formulas	511.3 LEW P Elements of the theory of computation	511.3 LEW P Elements of the theory of computation	Next

There are no comments for this item.

to post a comment.