SAVEDWFF : saved wff

First-Order Logic

• x2200
• x2201
• x2202
• x2203
• x2204
• x2205
• x2206
• x2207
• x2208
• x2209
• x2210
• x2211
• x2212
• x2213
• x2214

TPS documentation homepage

TPS homepage