An Introduction to the Technique of Formative Processes in Set Theory:
Gespeichert in:
| Beteiligte Personen: | , |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Cham
Springer
2018
|
| Schlagwörter: | |
| Umfang: | xii, 154 Seiten Illustrationen, Diagramme 23.5 cm x 15.5 cm |
| ISBN: | 9783319747774 3319747770 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV045087380 | ||
| 003 | DE-604 | ||
| 005 | 20180727 | ||
| 007 | t| | ||
| 008 | 180713s2018 sz a||| |||| 00||| eng d | ||
| 016 | 7 | |a 1149274573 |2 DE-101 | |
| 020 | |a 9783319747774 |c hbk |9 978-3-319-74777-4 | ||
| 020 | |a 3319747770 |c hbk |9 3-319-74777-0 | ||
| 035 | |a (OCoLC)1036210473 | ||
| 035 | |a (DE-599)DNB1149274573 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 044 | |a sz |c CH | ||
| 049 | |a DE-11 | ||
| 084 | |a SK 155 |0 (DE-625)143219: |2 rvk | ||
| 100 | 1 | |a Cantone, Domenico |e Verfasser |0 (DE-588)1058920987 |4 aut | |
| 245 | 1 | 0 | |a An Introduction to the Technique of Formative Processes in Set Theory |c Domenico Cantone, Pietro Ursino |
| 264 | 1 | |a Cham |b Springer |c 2018 | |
| 264 | 4 | |c © 2018 | |
| 300 | |a xii, 154 Seiten |b Illustrationen, Diagramme |c 23.5 cm x 15.5 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 653 | |a PBC | ||
| 653 | |a Computable Set Theory | ||
| 653 | |a Decision Problem | ||
| 653 | |a Formative Processes | ||
| 653 | |a Venn Diagrams | ||
| 653 | |a Theory of Computation | ||
| 653 | |a Logic | ||
| 653 | |a Automated Reasoning | ||
| 653 | |a Computational Logic | ||
| 653 | |a Computabilty | ||
| 653 | |a Mathematical Logic | ||
| 700 | 1 | |a Ursino, Pietro |e Verfasser |4 aut | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-319-74778-1 |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-030478244 | |
Datensatz im Suchindex
| _version_ | 1818984354647375872 |
|---|---|
| any_adam_object | |
| author | Cantone, Domenico Ursino, Pietro |
| author_GND | (DE-588)1058920987 |
| author_facet | Cantone, Domenico Ursino, Pietro |
| author_role | aut aut |
| author_sort | Cantone, Domenico |
| author_variant | d c dc p u pu |
| building | Verbundindex |
| bvnumber | BV045087380 |
| classification_rvk | SK 155 |
| ctrlnum | (OCoLC)1036210473 (DE-599)DNB1149274573 |
| discipline | Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01460nam a2200469 c 4500</leader><controlfield tag="001">BV045087380</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20180727 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">180713s2018 sz a||| |||| 00||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1149274573</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319747774</subfield><subfield code="c">hbk</subfield><subfield code="9">978-3-319-74777-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3319747770</subfield><subfield code="c">hbk</subfield><subfield code="9">3-319-74777-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1036210473</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1149274573</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">sz</subfield><subfield code="c">CH</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-11</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 155</subfield><subfield code="0">(DE-625)143219:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Cantone, Domenico</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1058920987</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">An Introduction to the Technique of Formative Processes in Set Theory</subfield><subfield code="c">Domenico Cantone, Pietro Ursino</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">2018</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2018</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xii, 154 Seiten</subfield><subfield code="b">Illustrationen, Diagramme</subfield><subfield code="c">23.5 cm x 15.5 cm</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="653" ind1=" " ind2=" "><subfield code="a">PBC</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Computable Set Theory</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Decision Problem</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Formative Processes</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Venn Diagrams</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Theory of Computation</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Logic</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Automated Reasoning</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Computational Logic</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Computabilty</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Mathematical Logic</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ursino, Pietro</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-319-74778-1</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030478244</subfield></datafield></record></collection> |
| id | DE-604.BV045087380 |
| illustrated | Illustrated |
| indexdate | 2024-12-20T18:17:40Z |
| institution | BVB |
| isbn | 9783319747774 3319747770 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030478244 |
| oclc_num | 1036210473 |
| open_access_boolean | |
| owner | DE-11 |
| owner_facet | DE-11 |
| physical | xii, 154 Seiten Illustrationen, Diagramme 23.5 cm x 15.5 cm |
| publishDate | 2018 |
| publishDateSearch | 2018 |
| publishDateSort | 2018 |
| publisher | Springer |
| record_format | marc |
| spelling | Cantone, Domenico Verfasser (DE-588)1058920987 aut An Introduction to the Technique of Formative Processes in Set Theory Domenico Cantone, Pietro Ursino Cham Springer 2018 © 2018 xii, 154 Seiten Illustrationen, Diagramme 23.5 cm x 15.5 cm txt rdacontent n rdamedia nc rdacarrier PBC Computable Set Theory Decision Problem Formative Processes Venn Diagrams Theory of Computation Logic Automated Reasoning Computational Logic Computabilty Mathematical Logic Ursino, Pietro Verfasser aut Erscheint auch als Online-Ausgabe 978-3-319-74778-1 |
| spellingShingle | Cantone, Domenico Ursino, Pietro An Introduction to the Technique of Formative Processes in Set Theory |
| title | An Introduction to the Technique of Formative Processes in Set Theory |
| title_auth | An Introduction to the Technique of Formative Processes in Set Theory |
| title_exact_search | An Introduction to the Technique of Formative Processes in Set Theory |
| title_full | An Introduction to the Technique of Formative Processes in Set Theory Domenico Cantone, Pietro Ursino |
| title_fullStr | An Introduction to the Technique of Formative Processes in Set Theory Domenico Cantone, Pietro Ursino |
| title_full_unstemmed | An Introduction to the Technique of Formative Processes in Set Theory Domenico Cantone, Pietro Ursino |
| title_short | An Introduction to the Technique of Formative Processes in Set Theory |
| title_sort | an introduction to the technique of formative processes in set theory |
| work_keys_str_mv | AT cantonedomenico anintroductiontothetechniqueofformativeprocessesinsettheory AT ursinopietro anintroductiontothetechniqueofformativeprocessesinsettheory |