Normal view MARC view ISBD view

Introduction to mathematical logic

By:

Church, Alonzo, 1903-

Publication details: Princeton, N.J. Princeton University Press 1956Description: v. 24 cmSubject(s):

Logic, Symbolic and mathematical

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	Home library	Collection	Call number	Materials specified	Copy number	Status	Date due	Barcode
AM	PERPUSTAKAAN TUN SERI LANANG	PERPUSTAKAAN TUN SERI LANANG KOLEKSI AM-P. TUN SERI LANANG (ARAS 5)	-	BC135.C42 1956 (Browse shelf(Opens below))	j.1	1	Available		00000191222

Browsing PERPUSTAKAAN TUN SERI LANANG shelves, Shelving location: KOLEKSI AM-P. TUN SERI LANANG (ARAS 5) Close shelf browser (Hides shelf browser)

Previous	No cover image available		No cover image available	No cover image available	No cover image available			Next
Previous	BC135.B45 Formal methods: an introduction to symbolic logic and to the study of effective operations in arithmetic and logic /	BC135.B66 Computability and logic /	BC135.C316 1959 Introduction to semantics and formalization of logic.	BC135.C42 1956 Introduction to mathematical logic	BC135.C58 1973 Symbolic logic/	BC135.H68 Logic with trees : an introduction to symbolic logic /	BC135.I52 1964 Logic, methodology and philosophy of science : proceedings/	Next

Vol. 1,'A revised and much enlarged edition of Introduction to mathematical logic ... which was published in 1944 as one of the Annals of mathematics studies.'

There are no comments on this title.

to post a comment.

Introduction to mathematical logic

Browsing PERPUSTAKAAN TUN SERI LANANG shelves, Shelving location: KOLEKSI AM-P. TUN SERI LANANG (ARAS 5) Close shelf browser (Hides shelf browser)

Contact Us

Copyright ©The National University of Malaysia Library