Normal view MARC view ISBD view

Introduction to mathematical logic /

By:

Church, Alonzo

Material type: Text

Text

TextSeries: Princeton Mathematical series, 17Publication details: New Jersey: Princeton University Press, 1970Description: DDC classification:

511.3 C561.IM

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

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Comments ( 0 )

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
Book	ISID	511.3 C561.IM (Browse shelf(Opens below))	Available		DP15195

There are no comments on this title.

to post a comment.

Previous

Back to results

Next

1
2

1 Mathematical investigation of intuitionistic arithmetic and analysis
by Troelstra, A. S.
2 Principles of intuitionism; lectures presented at the summer conference on Intutionism and proof theory (1968) at SUNY
by Troelstra, A. S.

Close

Library, Indian Statistical Institute, Delhi Centre, 7 S.J.S. Sansanwal Marg, New Delhi - 110 016 (India)
Tel. 91-11 - 4149 3975 / 3976 | Fax. 91-11 - 4149 3981 | Email: library@isid.ac.in