MR2294201 (2007j:03080) Tortora de Falco, Lorenzo On the logical structure of calculus. (Italian) Rend. Mat. Appl. (7) 26 (2006), no. 3-4, 367–404. (Reviewer: Luca Roversi), 03F07 (03B70 03F03 03F05 03F52)
ROVERSI, Luca
2007-01-01
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.