Searched +path:logics +path:first-order +path:proof_theory (Results 1 - 13 of 13) sorted by relevance

/hets/Framework/specs/logics/first-order/proof_theory/
H A Dbase.elf
H A Dderived.elf
H A Ddfol.elf
H A Dfol.elf
H A Difol.elf
H A Dmodules.elf
H A Dsfol.elf
H A Dsifol.elf
H A Dsifol.omdoc
H A Dsorted_base.elf
H A Dsorted_base.omdoc
H A Dsorted_modules.elf
H A Dsorted_modules.omdoc

Completed in 5 milliseconds