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

By:

Series: Synthese libraryPublication details: Dordrecht; D. Reidel; New York: Gordon & Breach, [1962].Description: 170 p.: illus.; 23 cmSubject(s):

DDC classification:

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

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Copy number	Status	Date due	Barcode
Books	Castorina Estantes Abertas (Open Shelves)	Livros (Books)	511.3 B562f 1962 IMPA (Browse shelf(Opens below))	1	Available		39063000095342
Books	Castorina Estantes Abertas (Open Shelves)	Livros (Books)	511.3 B562f 1962 IMPA (Browse shelf(Opens below))	2	Available		39063000095334

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	Next
Previous	511.3 B562a 1970 IMPA Aspects of modern logic/	511.3 B562e 1956 IMPA L'existence en mathématiques;: conférences faites à la Sorbonne au titre des échanges culturels franco-néerlandais du 29 mars au 7 avril 1954.	511.3 B562f 1955 IMPA Les fondements logiques des mathématiques.	511.3 B562f 1962 IMPA Formal methods;: an introduction to symbolic logic and to the study of effective operations in arithmetic and logic.	511.3 B562f 1962 IMPA Formal methods;: an introduction to symbolic logic and to the study of effective operations in arithmetic and logic.	511.3 B562f 1964 IMPA The foundations of mathematics;: a study in the philosophy of science/	511.3 B562m 1965 IMPA Mathematical thought; an introduction to the philosophy of mathematics/	Next

Includes bibliography.

There are no comments on this title.

to post a comment.