Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985 /
Saved in:
| Meeting name: | Latin-American Symposium on Mathematical Logic (7th : 1985 : State University of Campinas) |
|---|---|
| Imprint: | Providence, R.I. : American Mathematical Society, c1988. |
| Description: | xi, 250 p. ; 25 cm. |
| Language: | English |
| Series: | Contemporary mathematics, 0271-4132 ; v. 69 Contemporary mathematics (American Mathematical Society) v. 69. |
| Subject: | |
| Format: | Print Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/892328 |
MARC
| LEADER | 00000nam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | 892328 | ||
| 003 | ICU | ||
| 005 | 19950905000000.0 | ||
| 008 | 880415s1988 riu b 10010 eng u | ||
| 010 | |a 87033651 //r88 | ||
| 020 | |a 0821850768 (pbk. : alk. paper) | ||
| 035 | |a (ICU)BID11239897 | ||
| 035 | |a (OCoLC)17353797 | ||
| 040 | |a DLC |c DLC | ||
| 041 | 0 | |a eng | |
| 050 | 0 | |a QA9.A1 |b L37 1985 | |
| 082 | 0 | |a 511.3 |2 19 | |
| 111 | 2 | |a Latin-American Symposium on Mathematical Logic |n (7th : |d 1985 : |c State University of Campinas) | |
| 245 | 1 | 0 | |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. |
| 260 | 0 | |a Providence, R.I. : |b American Mathematical Society, |c c1988. | |
| 300 | |a xi, 250 p. ; |c 25 cm. | ||
| 336 | |a text |b txt |2 rdacontent |0 http://id.loc.gov/vocabulary/contentTypes/txt | ||
| 337 | |a unmediated |b n |2 rdamedia |0 http://id.loc.gov/vocabulary/mediaTypes/n | ||
| 338 | |a volume |b nc |2 rdacarrier |0 http://id.loc.gov/vocabulary/carriers/nc | ||
| 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 mathematical |x Congresses. |0 http://id.loc.gov/authorities/subjects/sh2008107112 | |
| 650 | 7 | |a Logic, Symbolic and mathematical. |2 fast |0 http://id.worldcat.org/fast/fst01002068 | |
| 655 | 7 | |a Conference papers and proceedings. |2 fast |0 http://id.worldcat.org/fast/fst01423772 | |
| 700 | 1 | 0 | |a Carnielli, Walter A. |q (Walter Alexandre) |0 http://id.loc.gov/authorities/names/n87903755 |1 http://viaf.org/viaf/5009512 |
| 700 | 1 | 0 | |a Alcantara, Luiz Paulo de, |d 1944- |0 http://id.loc.gov/authorities/names/n84175151 |1 http://viaf.org/viaf/108706674 |
| 710 | 2 | 0 | |a Sociedade Brasileira de Lógica |0 http://id.loc.gov/authorities/names/n87903754 |1 http://viaf.org/viaf/156631704 |
| 710 | 2 | 0 | |a Sociedade Brasileira de Matemática |0 http://id.loc.gov/authorities/names/n50071964 |1 http://viaf.org/viaf/140582529 |
| 710 | 2 | 0 | |a Association for Symbolic Logic |0 http://id.loc.gov/authorities/names/n50054564 |1 http://viaf.org/viaf/142787442 |
| 830 | 0 | |a Contemporary mathematics (American Mathematical Society) |v v. 69. |0 http://id.loc.gov/authorities/names/n42008179 | |
| 903 | |a HeVa | ||
| 929 | |a cat | ||
| 999 | f | f | |i efee0d0b-a6c1-57f5-8cbb-8e81a16cb4c4 |s 6264b8f7-99ab-536f-a1fb-b5cf58a4d5ed |
| 928 | |t Library of Congress classification |a QA9.A1L370 1985 |l ASR |c ASR-SciASR |i 1824844 | ||
| 927 | |t Library of Congress classification |a QA9.A1L370 1985 |l ASR |c ASR-SciASR |e CRERAR |b 29126690 |i 2080385 | ||
