Lines Matching defs:ref
17 � stato abbozzato nella Sezione~\ref{rules}, dove
222 Sezione~\ref{avra_standard}, sono date le derivazioni astratte per
263 la generalizzazione e la specializzazione (si vedano le Sezioni~\ref{avra_gen}
264 e \ref{avra_spec}) per istanziare i termini. La definizione
268 %The implementation is partly described in Chapter~\ref{avra_conv}.
349 \theoryimp{bool} (si veda la Sezione~\ref{boolfull}), le otto regole
360 ha ipotesi. (La derivazione di \ml{TRUTH}, Sezione~\ref{avra_T}, �
376 %(See Chapter~\ref{avra_conv} for further discussion of this point.)
409 di conversioni. % (conversions are discussed in Chapter~\ref{avra_conv}).
471 % Chapter~\ref{avra_conv}.}