Tools

LEADER 01844cam a22003978i 4500

001 ocm02964743;

005 20141211212009.0;

008 770420s1977 ne 100 0 engm ;

010 a| 77007366;

020 a| 0720407524;

035 a| (Sirsi) o02964743;

035 a| (OCoLC)2964743;

049 a| ERE*;

050 00 a| QA9.4b| .L37 1976;

082 0 a| 511/.8;

111 2 a| Latin-American Symposium on Mathematical Logicn| (3rd :d| 1976 :c| State University of Campinas)?| UNAUTHORIZED;

245 10 a| Non-classical logics, model theory, and computability :b| proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 /c| edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui.;

300 a| xviii, 307 pages ;c| 23 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Studies in logic and the foundations of mathematics ;v| 89;

650 0 a| Nonclassical mathematical logicv| Congresses.=| ^A227735;

650 0 a| Model theoryv| Congresses.=| ^A21581;

650 0 a| Computable functionsv| Congresses.=| ^A60697;

700 1 a| Arruda, Ayda I.?| UNAUTHORIZED;

700 1 a| Costa, Newton C. A. da.=| ^A92137;

700 1 a| Chuaqui, R.=| ^A92138;

830 0 a| Studies in logic and the foundations of mathematicsv| 89.=| ^A16526;

872 29 j| 111/1a| Latin-American Symposium on Mathematical Logic,n| 3d,c| State University of Campinas,d| 1976.;

919 a| BOOK;

596 a| 1;

998 a| 116970;

999 a| QA9.4 .L37 1976w| LCc| 1i| 310372001405968d| 1/31/2013l| JGESm| JOYNERq| 1r| Ys| Yt| JGESBKu| 5/7/1986x| BOOKz| JSTACKSo| .STAFF. 0o| .STAFF. Copy Statement : c.1;

Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 / edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui.

Author/creator	Latin-American Symposium on Mathematical Logic
Other author	Arruda, Ayda I.
Other author	Costa, Newton C. A. da.
Other author	Chuaqui, R.
Format	Book
Publication Info	Amsterdam ; New York : North-Holland Pub. Co. ; New York : Distributors for the U.S.A. and Canada, Elsevier/North-Holland, 1977.
Description	xviii, 307 pages ; 23 cm.
Subjects	Nonclassical mathematical logic--Congresses. Model theory--Congresses. Computable functions--Congresses.

Series	Studies in logic and the foundations of mathematics ; 89 Studies in logic and the foundations of mathematics 89. ^A16526
LCCN	77007366
ISBN	0720407524

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA9.4 .L37 1976	✔ Available	Place Hold

Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 / edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui.

Click here for more information about this title

Availability