Rudiments of [mu]-calculus:
Gespeichert in:
| Beteiligte Personen: | , |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Amsterdam [u.a.]
Elsevier
2001
|
| Ausgabe: | 1. ed. |
| Schriftenreihe: | Studies in logic and the foundations of mathematics
146 |
| Beschreibung: | Hier auch später erschienene, unveränderte Nachdrucke |
| Umfang: | XVII, 277 S. |
| ISBN: | 0444506209 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV013949214 | ||
| 003 | DE-604 | ||
| 005 | 20131016 | ||
| 007 | t| | ||
| 008 | 011010s2001 xx |||| 00||| eng d | ||
| 020 | |a 0444506209 |9 0-444-50620-9 | ||
| 035 | |a (OCoLC)248722165 | ||
| 035 | |a (DE-599)BVBBV013949214 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-188 |a DE-83 | ||
| 082 | 0 | |a 511.324 | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a ST 125 |0 (DE-625)143586: |2 rvk | ||
| 100 | 1 | |a Arnold, André |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Rudiments of [mu]-calculus |c A. Arnold ; D. Niwiński |
| 250 | |a 1. ed. | ||
| 264 | 1 | |a Amsterdam [u.a.] |b Elsevier |c 2001 | |
| 300 | |a XVII, 277 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Studies in logic and the foundations of mathematics |v 146 | |
| 500 | |a Hier auch später erschienene, unveränderte Nachdrucke | ||
| 700 | 1 | |a Niwiński, Damian |e Verfasser |4 aut | |
| 830 | 0 | |a Studies in logic and the foundations of mathematics |v 146 |w (DE-604)BV000893472 |9 146 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-009545628 | |
Datensatz im Suchindex
| _version_ | 1818956592247209984 |
|---|---|
| any_adam_object | |
| author | Arnold, André Niwiński, Damian |
| author_facet | Arnold, André Niwiński, Damian |
| author_role | aut aut |
| author_sort | Arnold, André |
| author_variant | a a aa d n dn |
| building | Verbundindex |
| bvnumber | BV013949214 |
| classification_rvk | SK 130 ST 125 |
| ctrlnum | (OCoLC)248722165 (DE-599)BVBBV013949214 |
| dewey-full | 511.324 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.324 |
| dewey-search | 511.324 |
| dewey-sort | 3511.324 |
| dewey-tens | 510 - Mathematics |
| discipline | Informatik Mathematik |
| edition | 1. ed. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01134nam a2200349 cb4500</leader><controlfield tag="001">BV013949214</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20131016 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">011010s2001 xx |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444506209</subfield><subfield code="9">0-444-50620-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)248722165</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013949214</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-188</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.324</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="084" ind1=" " ind2=" "><subfield code="a">ST 125</subfield><subfield code="0">(DE-625)143586:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Arnold, André</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Rudiments of [mu]-calculus</subfield><subfield code="c">A. Arnold ; D. Niwiński</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam [u.a.]</subfield><subfield code="b">Elsevier</subfield><subfield code="c">2001</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVII, 277 S.</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">Studies in logic and the foundations of mathematics</subfield><subfield code="v">146</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Hier auch später erschienene, unveränderte Nachdrucke</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Niwiński, Damian</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Studies in logic and the foundations of mathematics</subfield><subfield code="v">146</subfield><subfield code="w">(DE-604)BV000893472</subfield><subfield code="9">146</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-009545628</subfield></datafield></record></collection> |
| id | DE-604.BV013949214 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-20T10:56:24Z |
| institution | BVB |
| isbn | 0444506209 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009545628 |
| oclc_num | 248722165 |
| open_access_boolean | |
| owner | DE-188 DE-83 |
| owner_facet | DE-188 DE-83 |
| physical | XVII, 277 S. |
| publishDate | 2001 |
| publishDateSearch | 2001 |
| publishDateSort | 2001 |
| publisher | Elsevier |
| record_format | marc |
| series | Studies in logic and the foundations of mathematics |
| series2 | Studies in logic and the foundations of mathematics |
| spelling | Arnold, André Verfasser aut Rudiments of [mu]-calculus A. Arnold ; D. Niwiński 1. ed. Amsterdam [u.a.] Elsevier 2001 XVII, 277 S. txt rdacontent n rdamedia nc rdacarrier Studies in logic and the foundations of mathematics 146 Hier auch später erschienene, unveränderte Nachdrucke Niwiński, Damian Verfasser aut Studies in logic and the foundations of mathematics 146 (DE-604)BV000893472 146 |
| spellingShingle | Arnold, André Niwiński, Damian Rudiments of [mu]-calculus Studies in logic and the foundations of mathematics |
| title | Rudiments of [mu]-calculus |
| title_auth | Rudiments of [mu]-calculus |
| title_exact_search | Rudiments of [mu]-calculus |
| title_full | Rudiments of [mu]-calculus A. Arnold ; D. Niwiński |
| title_fullStr | Rudiments of [mu]-calculus A. Arnold ; D. Niwiński |
| title_full_unstemmed | Rudiments of [mu]-calculus A. Arnold ; D. Niwiński |
| title_short | Rudiments of [mu]-calculus |
| title_sort | rudiments of mu calculus |
| volume_link | (DE-604)BV000893472 |
| work_keys_str_mv | AT arnoldandre rudimentsofmucalculus AT niwinskidamian rudimentsofmucalculus |