Tools

LEADER 01909cam a2200421 a 4500

001 ocm17353797;

003 OCoLC;

005 20141212181037.0;

008 871229s1988 riu b 100 0 eng ;

010 a| 87033651;

020 a| 0821850768 (pbk. : alk. paper);

035 a| (Sirsi) o17353797;

035 a| (OCoLC)17353797;

049 a| EREE;

050 00 a| QA9.A1b| L37 1985;

082 00 a| 511.32| 19;

111 2 a| Latin-American Symposium on Mathematical Logicn| (7th :d| 1985 :c| State University of Campinas)?| UNAUTHORIZED;

245 10 a| Methods and applications of mathematical logic :b| proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985 /c| Walter A. Carnielli and Luiz Paulo de Alcantara, editors.;

300 a| xi, 250 pages ;c| 25 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Contemporary mathematics,x| 0271-4132 ;v| v. 69;

500 a| Sponsored by the Sociedade Brasileira de Lógica, Sociedade Brasileira de Matemática, and the Association for Symbolic Logic.;

504 a| Includes bibliographies.;

650 0 a| Logic, Symbolic and mathematicalv| Congresses.=| ^A39117;

700 1 a| Carnielli, Walter A.q| (Walter Alexandre)=| ^A588827;

700 1 a| Alcantara, Luiz Paulo de,d| 1944-=| ^A589471;

710 2 a| Sociedade Brasileira de Lógica.=| ^A589472;

710 2 a| Sociedade Brasileira de Matemática.=| ^A62397;

710 2 a| Association for Symbolic Logic.=| ^A46576;

830 0 a| Contemporary mathematics (American Mathematical Society)v| v. 69.=| ^A654475;

994 a| X0b| ERE;

596 a| 1;

998 a| 984497;

999 a| QA9.A1 L37 1985w| LCc| 1i| 30372012645765d| 1/31/2013l| JGESm| JOYNERp| $10.00q| 1r| Ys| Yt| JGESBKu| 1/12/2005x| BOOKz| JSTACKSo| .STAFF. 0;

Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985 / Walter A. Carnielli and Luiz Paulo de Alcantara, editors.

Author/creator	Latin-American Symposium on Mathematical Logic
Format	Book
Publication Info	Providence, R.I. : American Mathematical Society, ©1988.
Description	xi, 250 pages ; 25 cm.
Subjects	Logic, Symbolic and mathematical--Congresses.

Other author/creator	Carnielli, Walter A. (Walter Alexandre)
Other author/creator	Alcantara, Luiz Paulo de, 1944-
Other author/creator	Sociedade Brasileira de Lógica.
Other author/creator	Sociedade Brasileira de Matemática.
Other author/creator	Association for Symbolic Logic.
Series	Contemporary mathematics, 0271-4132 ; v. 69 Contemporary mathematics (American Mathematical Society) v. 69. ^A654475
General note	Sponsored by the Sociedade Brasileira de Lógica, Sociedade Brasileira de Matemática, and the Association for Symbolic Logic.
Bibliography note	Includes bibliographies.
LCCN	87033651
ISBN	0821850768 (pbk. : alk. paper)

Availability

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

Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985 / Walter A. Carnielli and Luiz Paulo de Alcantara, editors.

Click here for more information about this title

Availability