Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic. Evert W Beth

By:

Material type: Text

TextSeries: Synthese LibraryPublication details: Dordrecht - Holland D.Reidel c1962Description: xiv,170p.; 23cmDDC classification:

Item type:

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

Holdings
Item type	Current library	Collection	Call number	Status	Date due	Barcode	Item holds
Books	North Eastern Hill University	RELIGION & PHILOSOPHY	511.3 BET (Browse shelf(Opens below))	Available		14527

Total holds: 0

There are no comments on this title.

to post a comment.