Maurice Boffa (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

5 Maurice Boffa, Paolo Casalegno: The Consistency of Some 4-Stratified Subsystem of NF Including NF₃. J. Symb. Log. 50(2): 407-411 (1985)

Selection of 1 from 8 records - Maurice Boffa has 4 coauthors