Journal of formalized reasoning.

Peer Reviewed

Open Access

Journal of formalized reasoning.

Saved in:
Bibliographic Details
Publication history:Began with: Vol 1, no 1 (2008).
Language:English
Notes:Refereed/Peer-reviewed
Tags: Add Tag
No Tags, Be the first to tag this record!
id 993575037904498
lccn 2011252163
ctrlnum (DE-599)ZDB2494733-7
(OCoLC)456198191
(CKB)1000000000717896
(CONSER)--2011252163
(EXLCZ)991000000000717896
collection bib_alma
record_format marc
spelling J. Formaliz. Reason.
Journal of Formalized Reasoning
Journal of formalized reasoning.
Bologna, Italy : Centro Inter-Bibliotecario
Annual
text txt rdacontent
computer c rdamedia
online resource cr rdacarrier
Began with: Vol 1, no 1 (2008).
Refereed/Peer-reviewed
Unrestricted online access star
Description based on: Vol 1, no 1 (2008); title from HTML contents (publisher's Web site, viewed July 11, 2011).
Latest issue consulted: Vol 4, no 1 (2011) (publisher's Web site, viewed July 11, 2011).
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
Periodicals. fast (OCoLC)fst01411641
1972-5787
language English
format Serial
title Journal of formalized reasoning.
spellingShingle Journal of formalized reasoning.
title_short J. Formaliz. Reason.
title_full Journal of formalized reasoning.
title_fullStr Journal of formalized reasoning.
title_full_unstemmed Journal of formalized reasoning.
title_auth Journal of formalized reasoning.
title_new Journal of formalized reasoning.
title_sort journal of formalized reasoning.
publisher Centro Inter-Bibliotecario
dateSpan Began with: Vol 1, no 1 (2008).
issn 1972-5787
callnumber-first Q - Science
callnumber-subject QA - Mathematics
callnumber-label QA9
callnumber-sort QA 19.54
genre Periodicals. fast (OCoLC)fst01411641
genre_facet Periodicals.
illustrated Illustrated
oclc_num 456198191
status_str n
ids_txt_mv (DE-599)ZDB2494733-7
(OCoLC)456198191
(CKB)1000000000717896
(CONSER)--2011252163
(EXLCZ)991000000000717896
carrierType_str_mv cr
is_hierarchy_title Journal of formalized reasoning.
_version_ 1796652617951084545
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nas-a2200457-a-4500</leader><controlfield tag="001">993575037904498</controlfield><controlfield tag="005">20230518213020.0</controlfield><controlfield tag="006">m-----o--d--------</controlfield><controlfield tag="007">cr-|||||||||||</controlfield><controlfield tag="008">090603c20089999it-ar---o-----0----0eng-c</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a"> 2011252163</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">994196342</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">2494733-7</subfield><subfield code="2">DE-600</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)ZDB2494733-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)456198191</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CKB)1000000000717896</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CONSER)--2011252163</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EXLCZ)991000000000717896</subfield></datafield><datafield tag="042" ind1=" " ind2=" "><subfield code="a">pcc</subfield></datafield><datafield tag="050" ind1="1" ind2="4"><subfield code="a">QA9.54</subfield></datafield><datafield tag="210" ind1="0" ind2=" "><subfield code="a">J. Formaliz. Reason.</subfield></datafield><datafield tag="222" ind1=" " ind2="0"><subfield code="a">Journal of Formalized Reasoning</subfield></datafield><datafield tag="245" ind1="0" ind2="0"><subfield code="a">Journal of formalized reasoning.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Bologna, Italy :</subfield><subfield code="b">Centro Inter-Bibliotecario</subfield></datafield><datafield tag="310" ind1=" " ind2=" "><subfield code="a">Annual</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="362" ind1="1" ind2=" "><subfield code="a">Began with: Vol 1, no 1 (2008).</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Refereed/Peer-reviewed</subfield></datafield><datafield tag="506" ind1="0" ind2=" "><subfield code="f">Unrestricted online access</subfield><subfield code="2">star</subfield></datafield><datafield tag="588" ind1=" " ind2=" "><subfield code="a">Description based on: Vol 1, no 1 (2008); title from HTML contents (publisher's Web site, viewed July 11, 2011).</subfield></datafield><datafield tag="588" ind1=" " ind2=" "><subfield code="a">Latest issue consulted: Vol 4, no 1 (2011) (publisher's Web site, viewed July 11, 2011).</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Proof theory</subfield><subfield code="v">Periodicals.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Formalization (Linguistics)</subfield><subfield code="v">Periodicals.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Metamathematics</subfield><subfield code="v">Periodicals.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="v">Periodicals.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Formalization (Linguistics)</subfield><subfield code="2">fast</subfield><subfield code="0">(OCoLC)fst00932947</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logic, Symbolic and mathematical.</subfield><subfield code="2">fast</subfield><subfield code="0">(OCoLC)fst01002068</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Metamathematics.</subfield><subfield code="2">fast</subfield><subfield code="0">(OCoLC)fst01018261</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Proof theory.</subfield><subfield code="2">fast</subfield><subfield code="0">(OCoLC)fst01078942</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Mathematical Theory</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Periodicals.</subfield><subfield code="2">fast</subfield><subfield code="0">(OCoLC)fst01411641</subfield></datafield><datafield tag="776" ind1=" " ind2=" "><subfield code="x">1972-5787</subfield></datafield><datafield tag="906" ind1=" " ind2=" "><subfield code="a">JOURNAL</subfield></datafield><datafield tag="ADM" ind1=" " ind2=" "><subfield code="b">2023-08-12 05:08:18 Europe/Vienna</subfield><subfield code="f">system</subfield><subfield code="c">marc21</subfield><subfield code="a">2012-02-25 23:22:28 Europe/Vienna</subfield><subfield code="g">false</subfield></datafield><datafield tag="AVE" ind1=" " ind2=" "><subfield code="i">DOAJ Directory of Open Access Journals</subfield><subfield code="P">DOAJ Directory of Open Access Journals</subfield><subfield code="x">https://eu02.alma.exlibrisgroup.com/view/uresolver/43ACC_OEAW/openurl?u.ignore_date_coverage=true&amp;portfolio_pid=5342091360004498&amp;Force_direct=true</subfield><subfield code="Z">5342091360004498</subfield><subfield code="m"> Available from 2008 until 2021.</subfield><subfield code="b">Available</subfield><subfield code="8">5342091360004498</subfield></datafield><datafield tag="AVE" ind1=" " ind2=" "><subfield code="Z">5342091360004498</subfield><subfield code="A">2008</subfield><subfield code="B">2021</subfield></datafield></record></collection>

Similar Items