02045oas 2200733 a 450 991014595990332120251105213014.0(OCoLC)456198191(CONSER) 2011252163(CKB)1000000000717896(MiAaPQ)4425144(DE-599)ZDB2494733-7(EXLCZ)99100000000071789620090603a20089999 uy engur|||||||||||txtrdacontentcrdamediacrrdacarrierJournal of formalized reasoningBologna, Italy Centro Inter-BibliotecarioRefereed/Peer-reviewed1972-5787 J. Formaliz. Reason.Proof theoryPeriodicalsFormalization (Linguistics)PeriodicalsMetamathematicsPeriodicalsLogic, Symbolic and mathematicalPeriodicalsFormalization (Linguistics)fast(OCoLC)fst00932947Logic, Symbolic and mathematicalfast(OCoLC)fst01002068Metamathematicsfast(OCoLC)fst01018261Proof theoryfast(OCoLC)fst01078942Periodicals.fastProof theoryFormalization (Linguistics)MetamathematicsLogic, Symbolic and mathematicalFormalization (Linguistics)Logic, Symbolic and mathematical.Metamathematics.Proof theory.WaSeSSQE2OCLCQHEBISOCLCQWAUSNUDEBBGGWDNBCUSOCLCQOCLCFOCLCOOCLCQU3WBWNOCLCQAUDOCLCQJOURNAL9910145959903321Journal of formalized reasoning1908769UNINA