Vol. 1

by Church, Alonzo

Normal View ISBD View

Series: Princeton mathematical series ; . 17 Published by : Princeton University Press, (Princeton : ) Physical details: 378 p. ; 23 cm. Collection: Introduction to mathematical logic / by Alonzo Church Year : 1956

No tags for this title. Log in to add tags.

Holdings ( 1 )
Descriptions
Comments

Item type	Location	Call Number	Copy	Status	Date Due
Books	Istituto di Ingegneria Biomedica	QA9.K654L (Browse Shelf)	1	Available

Browsing Istituto di Ingegneria Biomedica Shelves Close Shelf Browser


	QA9.K33Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers /	QA9.K53LElements of mathematical logic : model theory /	QA9.K652Mathematical logic /	QA9.K654LVol. 1	QA9.K678Logic and algorithms : with applications to the computer and information science /	QA9.M2813The metamathematics of algebraic systems, collected papers: 1936-1967 /