2,537 followers
@CreeepyJoe @mimblewabe It is too late. You'd have to rewrite all of "Model Independent Institution Theory" from ; to ○ https://t.co/PCefrZ7vlR
@CreeepyJoe @mimblewabe It is too late. You'd have to rewrite all of "Model Independent Institution Theory" from ; to ○ https://t.co/PCefrZ7vlR
RT @reonaarticle: この本っぽい。 Institution-independent Model Theory (Studies in Universal Logic) Birkhaeus... https://t.co/l2HZW3ZGfn #ロマ数プライム圏論
"Institution-independent Model Theory" https://t.co/yv9hW32QT7 #ロマ数プライム圏論 大学によってはpdf手に入るな
この本っぽい。 Institution-independent Model Theory (Studies in Universal Logic) Birkhaeus... https://t.co/l2HZW3ZGfn #ロマ数プライム圏論