Formal methods an introduction to symbolic logic and to the study of effective operations in arithmetic and logic

By:

Material type: Text

TextLanguage: English Series: Synthese library series,2Publication details: Dordrecht D.reidel pub 1962Description: xiv,170pSubject(s):

DDC classification:

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

Holdings
Item type	Current library	Call number	Status	Date due	Barcode	Item holds
Books	ISI Library, Kolkata	164 B 562 (Browse shelf(Opens below))	Available		62776

Total holds: 0

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	Next
Previous	164 V462s Symbolic Logic	164 W831 Philosophycal Investigations	164.02 L716 Mits wits and logic	164 B 562 Formal methods	164=09 St938 History of mathematical logic from Leibniz to Peano	164=3 C288 Einfuhrung in die symbolisohe Logic	164=3 H553 Einfuhrung in die mathematische logik	Next

There are no comments on this title.

to post a comment.