6,940 followers
@anchietajunioor @ruydequeiroz Sim. Gostei muito da parte do Ruy mas era pesada. Teve Cálculo de Sequentes, Dedução Natural, Indecidibilidade. Um dos artigos https://t.co/tfQFaL8UTo
@anchietajunioor @ruydequeiroz Sim. Gostei muito da parte do Ruy mas era pesada. Teve Cálculo de Sequentes, Dedução Natural, Indecidibilidade. Um dos artigos https://t.co/tfQFaL8UTo
@jsprivette He's so incredibly prolific it's hard to pick one volume. This [1] interview gives a flavour of his wide interests. I became a fan while reading Principles of Talmudic Logic and The Handbook of Deontic Logic on both of which he's a co-editor.
@yaneerbaryam You might find this interesting: Dov Gabbay: “I am a Logic” An Interview with Dov Gabbay https://t.co/hzryhUUuji