LEADER 02045oas  2200733 a 450 
001 9910145959903321
005 20251105213014.0
035   $a(OCoLC)456198191
035   $a(CONSER)  2011252163
035   $a(CKB)1000000000717896
035   $a(MiAaPQ)4425144
035   $a(DE-599)ZDB2494733-7
035   $a(EXLCZ)991000000000717896
100   $a20090603a20089999  uy 
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 08$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
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.
801  0$bWaSeSS
801  1$bQE2
801  2$bOCLCQ
801  2$bHEBIS
801  2$bOCLCQ
801  2$bWAU
801  2$bSNU
801  2$bDEBBG
801  2$bGWDNB
801  2$bCUS
801  2$bOCLCQ
801  2$bOCLCF
801  2$bOCLCO
801  2$bOCLCQ
801  2$bU3W
801  2$bBWN
801  2$bOCLCQ
801  2$bAUD
801  2$bOCLCQ
906   $aJOURNAL
912   $a9910145959903321
996   $aJournal of formalized reasoning$91908769
997   $aUNINA