On the estimation of the length of normal derivations:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Abschlussarbeit Buch |
| Sprache: | English |
| Veröffentlicht: |
Stockholm
Akademilitteratur
1982
|
| Schriftenreihe: | Philosophical studies
4 |
| Schlagworte: | |
| Beschreibung: | 102 S. |
| ISBN: | 9174102044 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV000064562 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 870612s1982 m||| 00||| eng d | ||
| 020 | |a 9174102044 |9 91-7410-204-4 | ||
| 035 | |a (OCoLC)16005755 | ||
| 035 | |a (DE-599)BVBBV000064562 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-473 |a DE-29 |a DE-11 |a DE-188 | ||
| 050 | 0 | |a QA9.54 | |
| 082 | 0 | |a 511.3 |2 19 | |
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a 5,1 |2 ssgn | ||
| 100 | 1 | |a Pereira, Luiz Carlos P. D. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a On the estimation of the length of normal derivations |c Luiz Carlos P. D. Pereira |
| 264 | 1 | |a Stockholm |b Akademilitteratur |c 1982 | |
| 300 | |a 102 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Philosophical studies |v 4 | |
| 502 | |a Zugl.: Stockholm, Univ., Diss., 1982 | ||
| 650 | 7 | |a Logique symbolique et mathématiques |2 ram | |
| 650 | 7 | |a Preuve, Théorie de la |2 ram | |
| 650 | 4 | |a Normal forms (Mathematics) | |
| 650 | 4 | |a Proof theory | |
| 650 | 0 | 7 | |a Beweistheorie |0 (DE-588)4145177-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Beweistheorie |0 (DE-588)4145177-6 |D s |
| 689 | 1 | |5 DE-604 | |
| 830 | 0 | |a Philosophical studies |v 4 |w (DE-604)BV000003763 |9 4 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-000026699 | ||
Datensatz im Suchindex
| _version_ | 1804114518185345024 |
|---|---|
| any_adam_object | |
| author | Pereira, Luiz Carlos P. D. |
| author_facet | Pereira, Luiz Carlos P. D. |
| author_role | aut |
| author_sort | Pereira, Luiz Carlos P. D. |
| author_variant | l c p d p lcpd lcpdp |
| building | Verbundindex |
| bvnumber | BV000064562 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.54 |
| callnumber-search | QA9.54 |
| callnumber-sort | QA 19.54 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | CC 2600 |
| ctrlnum | (OCoLC)16005755 (DE-599)BVBBV000064562 |
| 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 Philosophie |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01568nam a2200469 cb4500</leader><controlfield tag="001">BV000064562</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">870612s1982 m||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9174102044</subfield><subfield code="9">91-7410-204-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)16005755</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV000064562</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-12</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9.54</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">19</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Pereira, Luiz Carlos P. D.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">On the estimation of the length of normal derivations</subfield><subfield code="c">Luiz Carlos P. D. Pereira</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Stockholm</subfield><subfield code="b">Akademilitteratur</subfield><subfield code="c">1982</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">102 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">Philosophical studies</subfield><subfield code="v">4</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Zugl.: Stockholm, Univ., Diss., 1982</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logique symbolique et mathématiques</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="4"><subfield code="a">Normal forms (Mathematics)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Proof theory</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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)4113937-9</subfield><subfield code="a">Hochschulschrift</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="689" ind1="1" ind2="0"><subfield code="a">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Philosophical studies</subfield><subfield code="v">4</subfield><subfield code="w">(DE-604)BV000003763</subfield><subfield code="9">4</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-000026699</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV000064562 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T15:07:59Z |
| institution | BVB |
| isbn | 9174102044 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-000026699 |
| oclc_num | 16005755 |
| open_access_boolean | |
| owner | DE-12 DE-473 DE-BY-UBG DE-29 DE-11 DE-188 |
| owner_facet | DE-12 DE-473 DE-BY-UBG DE-29 DE-11 DE-188 |
| physical | 102 S. |
| publishDate | 1982 |
| publishDateSearch | 1982 |
| publishDateSort | 1982 |
| publisher | Akademilitteratur |
| record_format | marc |
| series | Philosophical studies |
| series2 | Philosophical studies |
| spelling | Pereira, Luiz Carlos P. D. Verfasser aut On the estimation of the length of normal derivations Luiz Carlos P. D. Pereira Stockholm Akademilitteratur 1982 102 S. txt rdacontent n rdamedia nc rdacarrier Philosophical studies 4 Zugl.: Stockholm, Univ., Diss., 1982 Logique symbolique et mathématiques ram Preuve, Théorie de la ram Normal forms (Mathematics) Proof theory Beweistheorie (DE-588)4145177-6 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Mathematische Logik (DE-588)4037951-6 s DE-604 Beweistheorie (DE-588)4145177-6 s Philosophical studies 4 (DE-604)BV000003763 4 |
| spellingShingle | Pereira, Luiz Carlos P. D. On the estimation of the length of normal derivations Philosophical studies Logique symbolique et mathématiques ram Preuve, Théorie de la ram Normal forms (Mathematics) Proof theory Beweistheorie (DE-588)4145177-6 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4145177-6 (DE-588)4037951-6 (DE-588)4113937-9 |
| title | On the estimation of the length of normal derivations |
| title_auth | On the estimation of the length of normal derivations |
| title_exact_search | On the estimation of the length of normal derivations |
| title_full | On the estimation of the length of normal derivations Luiz Carlos P. D. Pereira |
| title_fullStr | On the estimation of the length of normal derivations Luiz Carlos P. D. Pereira |
| title_full_unstemmed | On the estimation of the length of normal derivations Luiz Carlos P. D. Pereira |
| title_short | On the estimation of the length of normal derivations |
| title_sort | on the estimation of the length of normal derivations |
| topic | Logique symbolique et mathématiques ram Preuve, Théorie de la ram Normal forms (Mathematics) Proof theory Beweistheorie (DE-588)4145177-6 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Logique symbolique et mathématiques Preuve, Théorie de la Normal forms (Mathematics) Proof theory Beweistheorie Mathematische Logik Hochschulschrift |
| volume_link | (DE-604)BV000003763 |
| work_keys_str_mv | AT pereiraluizcarlospd ontheestimationofthelengthofnormalderivations |