Image from Google Jackets

Image from OpenLibrary

Normal view MARC view ISBD view

Completeness compactness and undecidability An introduction to mathematical logic /

By:

Manaster, Alfred B

Material type: Text

Text

TextPublication details: New Delhi : Prentice Hall , 1978.Description: vi+154 23cms

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 L81 (Browse shelf(Opens below))	LC1	Available		G25881

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 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 /	R14 LO Understanding symbolic logic /	R14 LO1 Talking about particulars /	R14 M2 Formal number theory and computability A work book /	Next

There are no comments on this title.

to post a comment.