skip to main content
Lingue:
Cerca la mia strategia di ricerca: Mostra risultati con: Mostra risultati con:

Decision methods for linearly ordered Heyting algebras

Dyckhoff, Roy ; Dyckhoff, Roy ; Negri, Sara ; Negri, Sara

Archive for mathematical logic, 2006-05, Vol.45 (4), p.411-422 [Rivista Peer Reviewed]

Fulltext disponibile

Citazioni Citato da

Ricerca in corso nelle risorse remote ...