Symbolic logic and mechanical theorem proving Chin-Liang Chang, Richard Char-Tung Lee

By:

Contributor(s):

Series: Computer science classicsPublication details: San Diego : Academic Press, [1987], c1973.Description: xiii, 331 p. : ill. ; 24 cmISBN:

Subject(s):

DDC classification:

LOC classification:

Online resources:

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

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Copy number	Status	Date due	Barcode
Carti	IMAR	511.3-CHA (Browse shelf(Opens below))	1	Available		0036494

Previous			No cover image available					Next
Previous	511.3-BUS-1 Categories of algebraic logic	511.3-CAR A graphic apology for symmetry and implicitness	511.3-CAR A graphic apology for symmetry and implicitness	511.3-CHA Symbolic logic and mechanical theorem proving	511.3-CHA-1 The limits of mathematics : A course on information theory and limits of formal reasoning	511.3-CHA-2 Information-theoretic incompleteness	511.3-CHA-3 Information, randomness & incompleteness : Papers on algorithmic information theory	Next

eng

Cuprinde Bibliografie si exercitii la sfarsitul fiecarui capitol
Anexe p. 287
Bibliogarfie p. 309
Index p. 325

There are no comments on this title.

to post a comment.