5,520
edits
File:101,25r.png: Difference between revisions
no edit summary
(Bot: Automated import of articles *** existing text overwritten ***) |
No edit summary |
||
| Line 1: | Line 1: | ||
{{Graphic | {{Graphic | ||
| Type = | | Type = Logic | ||
| Subtype | | Subtype = Quantificational formula list; Nonstandard type-theoretic formula | ||
| Subject = | |||
}} | }} | ||