File:Operators of computability logic.png
Size of this preview: 800 × 390 pixels. Other resolutions: 320 × 156 pixels | 640 × 312 pixels | 1,070 × 522 pixels.
Original file (1,070 × 522 pixels, file size: 108 KB, MIME type: image/png)
Summary
The names, symbols and readings for the main operators of computability logic.
Licensing
|
I, the copyright holder of this work, release this work into the public domain. This applies worldwide. In some countries this may not be legally possible; if so: I grant anyone the right to use this work for any purpose, without any conditions, unless such conditions are required by law. |
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Thumbnail | Dimensions | User | Comment | |
|---|---|---|---|---|---|
| current | 15:28, 16 December 2016 | | 1,070 × 522 (108 KB) | Anaszt5 | The symbols, names and readings for the main operators of computability logic. |
File usage
The following 2 pages use this file:
Global file usage
The following other wikis use this file:
- Usage on it.wikipedia.org
- Usage on www.wikidata.org