Update Procedures and the 1-Consistency
β
Jeremy Avigad
π
Article
π
2002
π
John Wiley and Sons
π
English
β 185 KB
π 1 views