LEADER 01655nas  2200505-a 450 
001 996321401103316
005 20210831213017.0
035   $a(DE-599)ZDB2494733-7
035   $a(OCoLC)456198191
035   $a(CKB)1000000000717896
035   $a(CONSER)--2011252163
035   $a(EXLCZ)991000000000717896
100   $a20090603a20089999  ---            -
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 00$aJournal of formalized reasoning
210   $aBologna, Italy $cCentro Inter-Bibliotecario
300   $aRefereed/Peer-reviewed
311   $a1972-5787 
531 0 $aJ. Formaliz. Reason.
606   $aProof theory$vPeriodicals
606   $aFormalization (Linguistics)$vPeriodicals
606   $aMetamathematics$vPeriodicals
606   $aLogic, Symbolic and mathematical$vPeriodicals
606   $aFormalization (Linguistics)$2fast$3(OCoLC)fst00932947
606   $aLogic, Symbolic and mathematical$2fast$3(OCoLC)fst01002068
606   $aMetamathematics$2fast$3(OCoLC)fst01018261
606   $aProof theory$2fast$3(OCoLC)fst01078942
608   $aPeriodicals.$2fast
610   $aMathematical Theory
615  0$aProof theory
615  0$aFormalization (Linguistics)
615  0$aMetamathematics
615  0$aLogic, Symbolic and mathematical
615  7$aFormalization (Linguistics)
615  7$aLogic, Symbolic and mathematical.
615  7$aMetamathematics.
615  7$aProof theory.
906   $aJOURNAL
912   $a996321401103316
996   $aJournal of formalized reasoning$91908769
997   $aUNISA