Advances in contemporary logic and computer science : : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil / / Walter A. Carnielli, Itala M.L. D'Ottaviano, editors.
Saved in:
| Superior document: | Contemporary mathematics, 235 |
|---|---|
| : | |
| TeilnehmendeR: | |
| Place / Publishing House: | Providence, Rhode Island : : American Mathematical Society,, 1999. |
| Year of Publication: | 1999 |
| Language: | English |
| Series: | Contemporary mathematics (American Mathematical Society) ;
235. |
| Online Access: | |
| Physical Description: | 1 online resource (344 pages) :; illustrations. |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| id |
5003113115 |
|---|---|
| ctrlnum |
(MiAaPQ)5003113115 (Au-PeEL)EBL3113115 (CaPaEBR)ebr10873278 (OCoLC)922980532 |
| collection |
bib_alma |
| record_format |
marc |
| spelling |
Brazilian Conference on Mathematical Logic (11th : 1996 : Salvador, Brazil), issuing body. Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil / Walter A. Carnielli, Itala M.L. D'Ottaviano, editors. Providence, Rhode Island : American Mathematical Society, 1999. 1 online resource (344 pages) : illustrations. text rdacontent computer rdamedia online resource rdacarrier Contemporary mathematics, 0271-4132 ; 235 Includes bibliographical references. Description based on print version record. Electronic reproduction. Ann Arbor, MI : ProQuest, 2016. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries. Computer logic Congresses. Logic, Symbolic and mathematical Congresses. Electronic books. Carnielli, Walter A. (Walter Alexandre), editor. D'Ottaviano, Itala M. L., 1944- editor. Print version: Brazilian Conference on Mathematical Logic. Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil. Providence, Rhode Island : American Mathematical Society, 1999 xi, 326 pages ; 26 cm. Contemporary mathematics ; 235 9780821813645 (DLC)10873278 ProQuest (Firm) Contemporary mathematics (American Mathematical Society) ; 235. https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=3113115 Click to View |
| language |
English |
| format |
Conference Proceeding eBook |
| author2 |
Carnielli, Walter A. D'Ottaviano, Itala M. L., 1944- |
| author_facet |
Carnielli, Walter A. D'Ottaviano, Itala M. L., 1944- Brazilian Conference on Mathematical Logic Salvador, Brazil), |
| author2_variant |
w a c wa wac i m l d iml imld |
| author2_fuller |
(Walter Alexandre), |
| author2_role |
TeilnehmendeR TeilnehmendeR |
| author_corporate |
Brazilian Conference on Mathematical Logic Salvador, Brazil), |
| author_sort |
Brazilian Conference on Mathematical Logic Salvador, Brazil), |
| title |
Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil / |
| spellingShingle |
Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil / Contemporary mathematics, |
| title_sub |
proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil / |
| title_full |
Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil / Walter A. Carnielli, Itala M.L. D'Ottaviano, editors. |
| title_fullStr |
Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil / Walter A. Carnielli, Itala M.L. D'Ottaviano, editors. |
| title_full_unstemmed |
Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil / Walter A. Carnielli, Itala M.L. D'Ottaviano, editors. |
| title_auth |
Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil / |
| title_new |
Advances in contemporary logic and computer science : |
| title_sort |
advances in contemporary logic and computer science : proceedings of the eleventh brazilian conference on mathematical logic, may 6-10, 1996, salvador da bahia, brazil / |
| series |
Contemporary mathematics, |
| series2 |
Contemporary mathematics, |
| publisher |
American Mathematical Society, |
| publishDate |
1999 |
| physical |
1 online resource (344 pages) : illustrations. |
| isbn |
9780821878262 (e-book) 9780821813645 |
| issn |
0271-4132 ; |
| callnumber-first |
Q - Science |
| callnumber-subject |
QA - Mathematics |
| callnumber-label |
QA76 |
| callnumber-sort |
QA 276.9 L36 B73 41996 |
| genre |
Electronic books. |
| genre_facet |
Congresses. Electronic books. |
| url |
https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=3113115 |
| illustrated |
Illustrated |
| dewey-hundreds |
000 - Computer science, information & general works |
| dewey-tens |
000 - Computer science, knowledge & systems |
| dewey-ones |
005 - Computer programming, programs & data |
| dewey-full |
005.1/01/5113 |
| dewey-sort |
15.1 11 45113 |
| dewey-raw |
005.1/01/5113 |
| dewey-search |
005.1/01/5113 |
| oclc_num |
922980532 |
| work_keys_str_mv |
AT brazilianconferenceonmathematicallogicsalvadorbrazil advancesincontemporarylogicandcomputerscienceproceedingsoftheeleventhbrazilianconferenceonmathematicallogicmay6101996salvadordabahiabrazil AT carnielliwaltera advancesincontemporarylogicandcomputerscienceproceedingsoftheeleventhbrazilianconferenceonmathematicallogicmay6101996salvadordabahiabrazil AT dottavianoitalaml advancesincontemporarylogicandcomputerscienceproceedingsoftheeleventhbrazilianconferenceonmathematicallogicmay6101996salvadordabahiabrazil |
| status_str |
n |
| ids_txt_mv |
(MiAaPQ)5003113115 (Au-PeEL)EBL3113115 (CaPaEBR)ebr10873278 (OCoLC)922980532 |
| hierarchy_parent_title |
Contemporary mathematics, 235 |
| hierarchy_sequence |
235. |
| is_hierarchy_title |
Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil / |
| container_title |
Contemporary mathematics, 235 |
| author2_original_writing_str_mv |
noLinkedField noLinkedField |
| _version_ |
1792330844207054848 |
| fullrecord |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02409nam a2200457 i 4500</leader><controlfield tag="001">5003113115</controlfield><controlfield tag="003">MiAaPQ</controlfield><controlfield tag="005">20200909225244.0</controlfield><controlfield tag="006">m o d | </controlfield><controlfield tag="007">cr cnu||||||||</controlfield><controlfield tag="008">990402s1999 riua ob 100 0 eng|d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">0821813641 (pbk. : alk. paper)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9780821813645</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780821878262 (e-book)</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)5003113115</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Au-PeEL)EBL3113115</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaPaEBR)ebr10873278</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)922980532</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">MiAaPQ</subfield><subfield code="b">eng</subfield><subfield code="e">rda</subfield><subfield code="e">pn</subfield><subfield code="c">MiAaPQ</subfield><subfield code="d">MiAaPQ</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA76.9.L36</subfield><subfield code="b">B73 1996</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1/01/5113</subfield><subfield code="2">21</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Brazilian Conference on Mathematical Logic</subfield><subfield code="n">(11th :</subfield><subfield code="d">1996 :</subfield><subfield code="c">Salvador, Brazil),</subfield><subfield code="j">issuing body.</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Advances in contemporary logic and computer science :</subfield><subfield code="b">proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil /</subfield><subfield code="c">Walter A. Carnielli, Itala M.L. D'Ottaviano, editors.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Providence, Rhode Island :</subfield><subfield code="b">American Mathematical Society,</subfield><subfield code="c">1999.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (344 pages) :</subfield><subfield code="b">illustrations.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Contemporary mathematics,</subfield><subfield code="x">0271-4132 ;</subfield><subfield code="v">235</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references.</subfield></datafield><datafield tag="588" ind1=" " ind2=" "><subfield code="a">Description based on print version record.</subfield></datafield><datafield tag="590" ind1=" " ind2=" "><subfield code="a">Electronic reproduction. Ann Arbor, MI : ProQuest, 2016. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer logic</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="655" ind1=" " ind2="4"><subfield code="a">Electronic books.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Carnielli, Walter A.</subfield><subfield code="q">(Walter Alexandre),</subfield><subfield code="e">editor.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">D'Ottaviano, Itala M. L.,</subfield><subfield code="d">1944-</subfield><subfield code="e">editor.</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">Brazilian Conference on Mathematical Logic.</subfield><subfield code="t">Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil.</subfield><subfield code="d">Providence, Rhode Island : American Mathematical Society, 1999</subfield><subfield code="h">xi, 326 pages ; 26 cm.</subfield><subfield code="k">Contemporary mathematics ; 235</subfield><subfield code="z">9780821813645</subfield><subfield code="w">(DLC)10873278</subfield></datafield><datafield tag="797" ind1="2" ind2=" "><subfield code="a">ProQuest (Firm)</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Contemporary mathematics (American Mathematical Society) ;</subfield><subfield code="v">235.</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=3113115</subfield><subfield code="z">Click to View</subfield></datafield></record></collection> |