2,478
edits
({{Graphic}}) Tag: Server-side upload |
(Bot: Automated import of articles *** existing text overwritten ***) |
||
Line 1: | Line 1: | ||
== | {{Graphic | ||
| Type = Graphics | |||
| Subtype = Logic | |||
| Subject = Quantificational formula list, nonstandard type-theoretic formula | |||
}} |