Models, algebras and proofs: selected papers of the X Latin American Symposium on Mathematical Logic held in Bogotá
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
New York [u.a.]
Dekker
1999
|
| Schriftenreihe: | Lecture notes in pure and applied mathematics
203 |
| Schlagworte: | |
| Beschreibung: | XIII, 448 S. graph. Darst. |
| ISBN: | 0824719700 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV012382301 | ||
| 003 | DE-604 | ||
| 005 | 19990315 | ||
| 007 | t | ||
| 008 | 990202s1999 d||| |||| 10||| eng d | ||
| 020 | |a 0824719700 |9 0-8247-1970-0 | ||
| 035 | |a (OCoLC)40052216 | ||
| 035 | |a (DE-599)BVBBV012382301 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-703 |a DE-11 | ||
| 050 | 0 | |a QA9.A1 | |
| 082 | 0 | |a 511.3 |2 21 | |
| 084 | |a SD 1995 |0 (DE-625)142729: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 245 | 1 | 0 | |a Models, algebras and proofs |b selected papers of the X Latin American Symposium on Mathematical Logic held in Bogotá |c ed. by Xavier Caicedo ... |
| 246 | 1 | 3 | |a Models, algebras & proofs |
| 264 | 1 | |a New York [u.a.] |b Dekker |c 1999 | |
| 300 | |a XIII, 448 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in pure and applied mathematics |v 203 | |
| 650 | 7 | |a Ensembles, Théorie des |2 ram | |
| 650 | 7 | |a Forcing (théorie des modèles) |2 ram | |
| 650 | 7 | |a Logique symbolique et mathématique |2 ram | |
| 650 | 7 | |a LÓGICA ALGÉBRICA (CONGRESSOS) |2 larpcal | |
| 650 | 7 | |a LÓGICA MATEMÁTICA (CONGRESSOS) |2 larpcal | |
| 650 | 7 | |a Modèles mathématiques |2 ram | |
| 650 | 7 | |a Point fixe, théorie du |2 ram | |
| 650 | 7 | |a Preuve, Théorie de la |2 ram | |
| 650 | 7 | |a TEORIA DA DEMONSTRAÇÃO (CONGRESSOS) |2 larpcal | |
| 650 | 7 | |a TEORIA DOS CONJUNTOS (CONGRESSOS) |2 larpcal | |
| 650 | 7 | |a TEORIA DOS MODELOS (CONGRESSOS) |2 larpcal | |
| 650 | 4 | |a Logic, Symbolic and mathematical |v Congresses | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1995 |z Bogotá |2 gnd-content | |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Caicedo, Xavier |e Sonstige |4 oth | |
| 711 | 2 | |a Latin American Symposium on Mathematical Logic |n 10 |d 1995 |c Bogotá |j Sonstige |0 (DE-588)5315808-8 |4 oth | |
| 830 | 0 | |a Lecture notes in pure and applied mathematics |v 203 |w (DE-604)BV005871364 |9 203 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-008399161 | ||
Datensatz im Suchindex
| _version_ | 1804127014878183424 |
|---|---|
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV012382301 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.A1 |
| callnumber-search | QA9.A1 |
| callnumber-sort | QA 19 A1 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SD 1995 SK 130 |
| ctrlnum | (OCoLC)40052216 (DE-599)BVBBV012382301 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02147nam a2200541 cb4500</leader><controlfield tag="001">BV012382301</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19990315 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">990202s1999 d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0824719700</subfield><subfield code="9">0-8247-1970-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)40052216</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV012382301</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9.A1</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SD 1995</subfield><subfield code="0">(DE-625)142729:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Models, algebras and proofs</subfield><subfield code="b">selected papers of the X Latin American Symposium on Mathematical Logic held in Bogotá</subfield><subfield code="c">ed. by Xavier Caicedo ...</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Models, algebras & proofs</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York [u.a.]</subfield><subfield code="b">Dekker</subfield><subfield code="c">1999</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 448 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in pure and applied mathematics</subfield><subfield code="v">203</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Ensembles, Théorie des</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Forcing (théorie des modèles)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logique symbolique et mathématique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">LÓGICA ALGÉBRICA (CONGRESSOS)</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">LÓGICA MATEMÁTICA (CONGRESSOS)</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Modèles mathématiques</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Point fixe, théorie du</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Preuve, Théorie de la</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">TEORIA DA DEMONSTRAÇÃO (CONGRESSOS)</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">TEORIA DOS CONJUNTOS (CONGRESSOS)</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">TEORIA DOS MODELOS (CONGRESSOS)</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1995</subfield><subfield code="z">Bogotá</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Caicedo, Xavier</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">Latin American Symposium on Mathematical Logic</subfield><subfield code="n">10</subfield><subfield code="d">1995</subfield><subfield code="c">Bogotá</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)5315808-8</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in pure and applied mathematics</subfield><subfield code="v">203</subfield><subfield code="w">(DE-604)BV005871364</subfield><subfield code="9">203</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-008399161</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1995 Bogotá gnd-content |
| genre_facet | Konferenzschrift 1995 Bogotá |
| id | DE-604.BV012382301 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:26:37Z |
| institution | BVB |
| institution_GND | (DE-588)5315808-8 |
| isbn | 0824719700 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008399161 |
| oclc_num | 40052216 |
| open_access_boolean | |
| owner | DE-739 DE-703 DE-11 |
| owner_facet | DE-739 DE-703 DE-11 |
| physical | XIII, 448 S. graph. Darst. |
| publishDate | 1999 |
| publishDateSearch | 1999 |
| publishDateSort | 1999 |
| publisher | Dekker |
| record_format | marc |
| series | Lecture notes in pure and applied mathematics |
| series2 | Lecture notes in pure and applied mathematics |
| spelling | Models, algebras and proofs selected papers of the X Latin American Symposium on Mathematical Logic held in Bogotá ed. by Xavier Caicedo ... Models, algebras & proofs New York [u.a.] Dekker 1999 XIII, 448 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in pure and applied mathematics 203 Ensembles, Théorie des ram Forcing (théorie des modèles) ram Logique symbolique et mathématique ram LÓGICA ALGÉBRICA (CONGRESSOS) larpcal LÓGICA MATEMÁTICA (CONGRESSOS) larpcal Modèles mathématiques ram Point fixe, théorie du ram Preuve, Théorie de la ram TEORIA DA DEMONSTRAÇÃO (CONGRESSOS) larpcal TEORIA DOS CONJUNTOS (CONGRESSOS) larpcal TEORIA DOS MODELOS (CONGRESSOS) larpcal Logic, Symbolic and mathematical Congresses Mathematische Logik (DE-588)4037951-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1995 Bogotá gnd-content Mathematische Logik (DE-588)4037951-6 s DE-604 Caicedo, Xavier Sonstige oth Latin American Symposium on Mathematical Logic 10 1995 Bogotá Sonstige (DE-588)5315808-8 oth Lecture notes in pure and applied mathematics 203 (DE-604)BV005871364 203 |
| spellingShingle | Models, algebras and proofs selected papers of the X Latin American Symposium on Mathematical Logic held in Bogotá Lecture notes in pure and applied mathematics Ensembles, Théorie des ram Forcing (théorie des modèles) ram Logique symbolique et mathématique ram LÓGICA ALGÉBRICA (CONGRESSOS) larpcal LÓGICA MATEMÁTICA (CONGRESSOS) larpcal Modèles mathématiques ram Point fixe, théorie du ram Preuve, Théorie de la ram TEORIA DA DEMONSTRAÇÃO (CONGRESSOS) larpcal TEORIA DOS CONJUNTOS (CONGRESSOS) larpcal TEORIA DOS MODELOS (CONGRESSOS) larpcal Logic, Symbolic and mathematical Congresses Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)1071861417 |
| title | Models, algebras and proofs selected papers of the X Latin American Symposium on Mathematical Logic held in Bogotá |
| title_alt | Models, algebras & proofs |
| title_auth | Models, algebras and proofs selected papers of the X Latin American Symposium on Mathematical Logic held in Bogotá |
| title_exact_search | Models, algebras and proofs selected papers of the X Latin American Symposium on Mathematical Logic held in Bogotá |
| title_full | Models, algebras and proofs selected papers of the X Latin American Symposium on Mathematical Logic held in Bogotá ed. by Xavier Caicedo ... |
| title_fullStr | Models, algebras and proofs selected papers of the X Latin American Symposium on Mathematical Logic held in Bogotá ed. by Xavier Caicedo ... |
| title_full_unstemmed | Models, algebras and proofs selected papers of the X Latin American Symposium on Mathematical Logic held in Bogotá ed. by Xavier Caicedo ... |
| title_short | Models, algebras and proofs |
| title_sort | models algebras and proofs selected papers of the x latin american symposium on mathematical logic held in bogota |
| title_sub | selected papers of the X Latin American Symposium on Mathematical Logic held in Bogotá |
| topic | Ensembles, Théorie des ram Forcing (théorie des modèles) ram Logique symbolique et mathématique ram LÓGICA ALGÉBRICA (CONGRESSOS) larpcal LÓGICA MATEMÁTICA (CONGRESSOS) larpcal Modèles mathématiques ram Point fixe, théorie du ram Preuve, Théorie de la ram TEORIA DA DEMONSTRAÇÃO (CONGRESSOS) larpcal TEORIA DOS CONJUNTOS (CONGRESSOS) larpcal TEORIA DOS MODELOS (CONGRESSOS) larpcal Logic, Symbolic and mathematical Congresses Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Ensembles, Théorie des Forcing (théorie des modèles) Logique symbolique et mathématique LÓGICA ALGÉBRICA (CONGRESSOS) LÓGICA MATEMÁTICA (CONGRESSOS) Modèles mathématiques Point fixe, théorie du Preuve, Théorie de la TEORIA DA DEMONSTRAÇÃO (CONGRESSOS) TEORIA DOS CONJUNTOS (CONGRESSOS) TEORIA DOS MODELOS (CONGRESSOS) Logic, Symbolic and mathematical Congresses Mathematische Logik Konferenzschrift 1995 Bogotá |
| volume_link | (DE-604)BV005871364 |
| work_keys_str_mv | AT caicedoxavier modelsalgebrasandproofsselectedpapersofthexlatinamericansymposiumonmathematicallogicheldinbogota AT latinamericansymposiumonmathematicallogicbogota modelsalgebrasandproofsselectedpapersofthexlatinamericansymposiumonmathematicallogicheldinbogota AT caicedoxavier modelsalgebrasproofs AT latinamericansymposiumonmathematicallogicbogota modelsalgebrasproofs |