Image from Google Jackets

Image from OpenLibrary

Normal view MARC view ISBD view

Symbolic logic and mechanical theorem proving /

By:

Chang, Chin-lidng

Contributor(s):

Lee, Richard Char-tung

Material type: Text

Text

TextSeries: Computer science and applied mathematics,A series of monograPublication details: 1973.

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

Holdings ( 1 )
Comments ( 0 )

Holdings
Item type	Current library	Home library	Collection	Call number	Vol info	Status	Date due	Barcode
General	Kerala University Library	Kerala University Library	LC1 Live Collection Groud Floor	R14 L3 (Browse shelf(Opens below))	LC1	Available		152683

Browsing Kerala University Library shelves, Collection: LC1 Live Collection Groud Floor 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 No cover image available	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	Next
Previous	R14 Ko Survey of symbolic logic /	R14 L1 Logico-linguistic papers /	R14 L11 Development of mathematical logic /	R14 L3 Symbolic logic and mechanical theorem proving /	R14 L7 Proof theory tr from German by J N Crossley /	R14 L8 Mathematical logic /	R14 L81 Completeness compactness and undecidability An introduction to mathematical logic /	Next

There are no comments on this title.

to post a comment.