Journal of formalized reasoning
Guardat en:
| Format: | Electrònic Publicació Periòdica |
|---|---|
| Idioma: | English |
| Publicat: |
Bologna, Italy :
Centro Inter-Bibliotecario
|
| Matèries: | |
| Accés en línia: | Enlace del recurso |
| _version_ | 1849705450624253952 |
|---|---|
| building | Library A |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.54 |
| callnumber-search | QA9.54 |
| callnumber-sort | QA 19.54 |
| callnumber-subject | QA - Mathematics |
| collection | Ebsco Academic Search Premier |
| ctrlnum | (EBZ)ebs66485348e |
| dateSpan | Began with: Vol 1, no 1 (2008). |
| format | Electronic Serial |
| fullrecord | {"leader":"01491cas a22003852a 4500","fields":[{"001":"ebs66485348e"},{"003":"EBZ"},{"006":"m d ||||||"},{"007":"cr|unu||||||||"},{"008":"090603c20089999it ar o 0 0eng c"},{"022":{"subfields":[{"y":"1972-5787"}],"ind1":" ","ind2":" "}},{"035":{"subfields":[{"a":"(EBZ)ebs66485348e"}],"ind1":" ","ind2":" "}},{"040":{"subfields":[{"a":"WaSeSS "},{"b":"eng "},{"d":"EBZ"}],"ind1":" ","ind2":" "}},{"042":{"subfields":[{"a":"pcc"}],"ind1":" ","ind2":" "}},{"050":{"subfields":[{"a":"QA9.54"}],"ind1":"1","ind2":"4"}},{"130":{"subfields":[{"a":"Journal of formalized reasoning (Online)"}],"ind1":"0","ind2":" "}},{"222":{"subfields":[{"a":"Journal of Formalized Reasoning"}],"ind1":"1","ind2":"0"}},{"245":{"subfields":[{"a":"Journal of formalized reasoning"},{"h":"[electronic resource]."}],"ind1":"0","ind2":"0"}},{"260":{"subfields":[{"a":"Bologna, Italy :"},{"b":"Centro Inter-Bibliotecario"}],"ind1":" ","ind2":" "}},{"310":{"subfields":[{"a":"Annual"}],"ind1":" ","ind2":" "}},{"362":{"subfields":[{"a":"Began with: Vol 1, no 1 (2008)."}],"ind1":"1","ind2":" "}},{"650":{"subfields":[{"a":"Proof theory"},{"v":"Periodicals."}],"ind1":" ","ind2":"0"}},{"650":{"subfields":[{"a":"Formalization (Linguistics)"},{"v":"Periodicals."}],"ind1":" ","ind2":"0"}},{"650":{"subfields":[{"a":"Metamathematics"},{"v":"Periodicals."}],"ind1":" ","ind2":"0"}},{"650":{"subfields":[{"a":"Logic, Symbolic and mathematical"},{"v":"Periodicals."}],"ind1":" ","ind2":"0"}},{"650":{"subfields":[{"a":"Formalization (Linguistics)"},{"2":"fast"},{"0":"(OCoLC)fst00932947"}],"ind1":" ","ind2":"7"}},{"650":{"subfields":[{"a":"Logic, Symbolic and mathematical."},{"2":"fast"},{"0":"(OCoLC)fst01002068"}],"ind1":" ","ind2":"7"}},{"650":{"subfields":[{"a":"Metamathematics."},{"2":"fast"},{"0":"(OCoLC)fst01018261"}],"ind1":" ","ind2":"7"}},{"650":{"subfields":[{"a":"Proof theory."},{"2":"fast"},{"0":"(OCoLC)fst01078942"}],"ind1":" ","ind2":"7"}},{"653":{"subfields":[{"a":"Mathematical Theory"}],"ind1":" ","ind2":" "}},{"655":{"subfields":[{"a":"Electronic journals."}],"ind1":" ","ind2":"0"}},{"655":{"subfields":[{"a":"Periodicals."},{"2":"fast"},{"0":"(OCoLC)fst01411641"}],"ind1":" ","ind2":"7"}},{"773":{"subfields":[{"t":"Academic Search Premier "},{"d":"EBSCO"}],"ind1":"0","ind2":" "}},{"856":{"subfields":[{"3":"Abstracts available: Jan 2014-Jan 2020."},{"u":"https://uwiener.metaproxy.org/UWIENER?url=https://search.ebscohost.com/direct.asp?db=aph&jid=B050&scope=site"},{"z":"Enlace del recurso"}],"ind1":"4","ind2":"0"}},{"901":{"subfields":[{"a":"Academic Journal"}],"ind1":" ","ind2":" "}}]}
|
| genre | Electronic journals. Periodicals. fast (OCoLC)fst01411641 |
| genre_facet | Periodicals. Electronic journals. |
| id | ebs66485348e |
| illustrated | Illustrated |
| institution | EBSCO |
| language | English |
| publisher | Centro Inter-Bibliotecario |
| record_format | marc |
| spelling | Journal of formalized reasoning (Online) Journal of Formalized Reasoning Journal of formalized reasoning [electronic resource]. Bologna, Italy : Centro Inter-Bibliotecario Annual Began with: Vol 1, no 1 (2008). Proof theory Periodicals. Formalization (Linguistics) Periodicals. Metamathematics Periodicals. Logic, Symbolic and mathematical Periodicals. Formalization (Linguistics) fast (OCoLC)fst00932947 Logic, Symbolic and mathematical. fast (OCoLC)fst01002068 Metamathematics. fast (OCoLC)fst01018261 Proof theory. fast (OCoLC)fst01078942 Mathematical Theory Electronic journals. Periodicals. fast (OCoLC)fst01411641 Academic Search Premier EBSCO Abstracts available: Jan 2014-Jan 2020. https://uwiener.metaproxy.org/UWIENER?url=https://search.ebscohost.com/direct.asp?db=aph&jid=B050&scope=site Enlace del recurso |
| spellingShingle | Journal of formalized reasoning Proof theory Periodicals. Formalization (Linguistics) Periodicals. Metamathematics Periodicals. Logic, Symbolic and mathematical Periodicals. Formalization (Linguistics) fast (OCoLC)fst00932947 Logic, Symbolic and mathematical. fast (OCoLC)fst01002068 Metamathematics. fast (OCoLC)fst01018261 Proof theory. fast (OCoLC)fst01078942 Mathematical Theory |
| thumbnail | /EBSCO/ebsco_academic_search_premier/logo.png |
| title | Journal of formalized reasoning |
| title_alt | Journal of formalized reasoning (Online) |
| title_auth | Journal of formalized reasoning |
| title_full | Journal of formalized reasoning [electronic resource]. |
| title_fullStr | Journal of formalized reasoning [electronic resource]. |
| title_full_unstemmed | Journal of formalized reasoning [electronic resource]. |
| title_short | Journal of formalized reasoning |
| title_sort | journal of formalized reasoning |
| topic | Proof theory Periodicals. Formalization (Linguistics) Periodicals. Metamathematics Periodicals. Logic, Symbolic and mathematical Periodicals. Formalization (Linguistics) fast (OCoLC)fst00932947 Logic, Symbolic and mathematical. fast (OCoLC)fst01002068 Metamathematics. fast (OCoLC)fst01018261 Proof theory. fast (OCoLC)fst01078942 Mathematical Theory |
| topic_facet | Proof theory Formalization (Linguistics) Metamathematics Logic, Symbolic and mathematical Logic, Symbolic and mathematical. Metamathematics. Proof theory. |
| url | https://uwiener.metaproxy.org/UWIENER?url=https://search.ebscohost.com/direct.asp?db=aph&jid=B050&scope=site |
| work_keys_str_mv | UT journalofformalizedreasoningonline |
