File:101,25r.png: Difference between revisions
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 = | |||
}} | }} | ||