Staff View: Methods and applications of mathematical logic :

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.

Saved in:

Bibliographic Details
Superior document:	Contemporary mathematics, volume 69
:	Latin-American Symposium on Mathematical Logic State University of Campinas),
TeilnehmendeR:	Carnielli, Walter A. Alcantara, Luiz Paulo de, 1944- Sociedade Brasileira de Logica, Sociedade Brasileira de Matematica, Association for Symbolic Logic,
Place / Publishing House:	Providence, Rhode Island : : American Mathematical Society,, [1988] 1988
Year of Publication:	1988
Language:	English
Series:	Contemporary mathematics (American Mathematical Society) ; v. 69.
Online Access:	https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=3113066
Physical Description:	1 online resource (264 pages) :; illustrations.
Notes:	Sponsored by the Sociedade Brasileira de Logica, Sociedade Brasileira de Matematica, and the Association for Symbolic Logic.
Tags:	Add Tag No Tags, Be the first to tag this record!

id	5003113066
ctrlnum	(MiAaPQ)5003113066 (Au-PeEL)EBL3113066 (CaPaEBR)ebr10873229 (OCoLC)922980686
collection	bib_alma
record_format	marc
spelling	Latin-American Symposium on Mathematical Logic (7th : 1985 : State University of Campinas), issuing body. 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. Providence, Rhode Island : American Mathematical Society, [1988] 1988 1 online resource (264 pages) : illustrations. text rdacontent computer rdamedia online resource rdacarrier Contemporary mathematics, 0271-4132 ; volume 69 Sponsored by the Sociedade Brasileira de Logica, Sociedade Brasileira de Matematica, and the Association for Symbolic Logic. Includes bibliographies. 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. Logic, Symbolic and mathematical Congresses. Electronic books. Carnielli, Walter A. (Walter Alexandre), editor. Alcantara, Luiz Paulo de, 1944- editor. Sociedade Brasileira de Logica, issuing body. Sociedade Brasileira de Matematica, issuing body. Association for Symbolic Logic, issuing body. Print version: Latin-American Symposium on Mathematical Logic. Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985. Providence, Rhode Island : American Mathematical Society, [1988] xi, 250 pages ; 25 cm. Contemporary mathematics ; v. 69 9780821850763 (DLC)10873229 ProQuest (Firm) Contemporary mathematics (American Mathematical Society) ; v. 69. https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=3113066 Click to View
language	English
format	Conference Proceeding eBook
author2	Carnielli, Walter A. Alcantara, Luiz Paulo de, 1944- Sociedade Brasileira de Logica, Sociedade Brasileira de Matematica, Association for Symbolic Logic,
author_facet	Carnielli, Walter A. Alcantara, Luiz Paulo de, 1944- Sociedade Brasileira de Logica, Sociedade Brasileira de Matematica, Association for Symbolic Logic, Latin-American Symposium on Mathematical Logic State University of Campinas),
author2_variant	w a c wa wac l p d a lpd lpda
author2_fuller	(Walter Alexandre),
author2_role	TeilnehmendeR TeilnehmendeR TeilnehmendeR TeilnehmendeR TeilnehmendeR
author_corporate	Latin-American Symposium on Mathematical Logic State University of Campinas),
author_sort	Latin-American Symposium on Mathematical Logic State University of Campinas),
title	Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985 /
spellingShingle	Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985 / Contemporary mathematics,
title_sub	proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985 /
title_full	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.
title_fullStr	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.
title_full_unstemmed	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.
title_auth	Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985 /
title_new	Methods and applications of mathematical logic :
title_sort	methods and applications of mathematical logic : proceedings of the vii latin american symposium on mathematical logic held july 29-august 2, 1985 /
series	Contemporary mathematics,
series2	Contemporary mathematics,
publisher	American Mathematical Society,
publishDate	1988
physical	1 online resource (264 pages) : illustrations.
isbn	9780821876589 (e-book) 9780821850763
issn	0271-4132 ;
callnumber-first	Q - Science
callnumber-subject	QA - Mathematics
callnumber-label	QA9
callnumber-sort	QA 19 A1 L37 41985
genre	Electronic books.
genre_facet	Congresses. Electronic books.
url	https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=3113066
illustrated	Illustrated
dewey-hundreds	500 - Science
dewey-tens	510 - Mathematics
dewey-ones	511 - General principles of mathematics
dewey-full	511.3
dewey-sort	3511.3
dewey-raw	511.3
dewey-search	511.3
oclc_num	922980686
work_keys_str_mv	AT latinamericansymposiumonmathematicallogicstateuniversityofcampinas methodsandapplicationsofmathematicallogicproceedingsoftheviilatinamericansymposiumonmathematicallogicheldjuly29august21985 AT carnielliwaltera methodsandapplicationsofmathematicallogicproceedingsoftheviilatinamericansymposiumonmathematicallogicheldjuly29august21985 AT alcantaraluizpaulode methodsandapplicationsofmathematicallogicproceedingsoftheviilatinamericansymposiumonmathematicallogicheldjuly29august21985 AT sociedadebrasileiradelogica methodsandapplicationsofmathematicallogicproceedingsoftheviilatinamericansymposiumonmathematicallogicheldjuly29august21985 AT sociedadebrasileiradematematica methodsandapplicationsofmathematicallogicproceedingsoftheviilatinamericansymposiumonmathematicallogicheldjuly29august21985 AT associationforsymboliclogic methodsandapplicationsofmathematicallogicproceedingsoftheviilatinamericansymposiumonmathematicallogicheldjuly29august21985
status_str	n
ids_txt_mv	(MiAaPQ)5003113066 (Au-PeEL)EBL3113066 (CaPaEBR)ebr10873229 (OCoLC)922980686
hierarchy_parent_title	Contemporary mathematics, volume 69
hierarchy_sequence	v. 69.
is_hierarchy_title	Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985 /
container_title	Contemporary mathematics, volume 69
author2_original_writing_str_mv	noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField
_version_	1792330844165111809
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02690nam a2200505 i 4500</leader><controlfield tag="001">5003113066</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">871229t19881988riua ob 100 0 eng\|d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">0821850768 (pbk. : alk. paper)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9780821850763</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780821876589 (e-book)</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)5003113066</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Au-PeEL)EBL3113066</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaPaEBR)ebr10873229</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)922980686</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">QA9.A1</subfield><subfield code="b">L37 1985</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">19</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Latin-American Symposium on Mathematical Logic</subfield><subfield code="n">(7th :</subfield><subfield code="d">1985 :</subfield><subfield code="c">State University of Campinas),</subfield><subfield code="j">issuing body.</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Methods and applications of mathematical logic :</subfield><subfield code="b">proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985 /</subfield><subfield code="c">Walter A. Carnielli and Luiz Paulo de Alcantara, 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">[1988]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">1988</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (264 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">volume 69</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Sponsored by the Sociedade Brasileira de Logica, Sociedade Brasileira de Matematica, and the Association for Symbolic Logic.</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographies.</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">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">Alcantara, Luiz Paulo de,</subfield><subfield code="d">1944-</subfield><subfield code="e">editor.</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">Sociedade Brasileira de Logica,</subfield><subfield code="e">issuing body.</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">Sociedade Brasileira de Matematica,</subfield><subfield code="e">issuing body.</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">Association for Symbolic Logic,</subfield><subfield code="e">issuing body.</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">Latin-American Symposium on Mathematical Logic.</subfield><subfield code="t">Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985.</subfield><subfield code="d">Providence, Rhode Island : American Mathematical Society, [1988]</subfield><subfield code="h">xi, 250 pages ; 25 cm.</subfield><subfield code="k">Contemporary mathematics ; v. 69</subfield><subfield code="z">9780821850763</subfield><subfield code="w">(DLC)10873229</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">v. 69.</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=3113066</subfield><subfield code="z">Click to View</subfield></datafield></record></collection>

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.

Similar Items