Fibring: Completeness Preservation
β
Alberto Zanardo, Amilcar Sernadas and Cristina Sernadas
π
Article
π
2001
π
Association for Symbolic Logic
π
English
β 521 KB