Dati Generali
Concetto Associato A (59)
Bounded proofs and step frames
Contributo in Atti di convegnoDuality for powerset coalgebras
ArticoloDynamical notions along filters
ArticoloEuclidean numbers and numerosities
ArticoloInterpolation, amalgamation and combination : the non-disjoint signatures case
Contributo in Atti di convegnoMultiple-conclusion rules, hypersequents syntax and step frames
Contributo in Atti di convegnoON THE AXIOMATISABILITY OF THE DUAL OF COMPACT ORDERED SPACES
Tesi di DottoratoTemporal interpretation of intuitionistic quantifiers
Contributo in Atti di convegnoThe Invariance Modality
CapitoloTopologies and free constructions
ArticoloTre percorsi nonstandard
ArticoloUnification in intuitionistic logic
ArticoloUnification in lax logic
ArticoloUnified Correspondence
CapitoloNo Results Found