A survey of categorical logic since its beginning, focused on topos theory
Logic in category theory / Alberto Peruzzi. - STAMPA. - (2011), pp. 287-324. [10.1007/978-94-007-0214-1]
Logic in category theory
PERUZZI, ALBERTO
2011
Abstract
A survey of categorical logic since its beginning, focused on topos theoryFile in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.