File:101,25r.png: Difference between revisions
{{Graphic}} Tag: Server-side upload |
No edit summary |
||
| (One intermediate revision by one other user not shown) | |||
| Line 1: | Line 1: | ||
== | {{Graphic | ||
| Type = Logic | |||
| Subtype = Quantificational formula list; Nonstandard type-theoretic formula | |||
| Subject = | |||
}} | |||
