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

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	294.513 BHA Indian theogony : a comparative study of Indian mythology from the Vedas tothe Puranas	294.5925 BHA Alamkara-section of the Agni-purana	153.42 BLO TM : discovering inner energy and overcoming stress	511.3 BET Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic.	121.0151 BET Mathematical epistemology and pyschology	510.1 BET Mathematical thought : an introduction to the philosophy of mathematics	181.4 RAM Indian philosophy : past and future	Next

There are no comments on this title.

to post a comment.