01655nas 2200505-a 450 99632140110331620210831213017.0(DE-599)ZDB2494733-7(OCoLC)456198191(CKB)1000000000717896(CONSER)--2011252163(EXLCZ)99100000000071789620090603a20089999 --- -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.fastMathematical TheoryProof theoryFormalization (Linguistics)MetamathematicsLogic, Symbolic and mathematicalFormalization (Linguistics)Logic, Symbolic and mathematical.Metamathematics.Proof theory.JOURNAL996321401103316Journal of formalized reasoning1908769UNISA