3 ms·
Oops: Krivine => Girard
by gradschoolfail 2y ago
Oops: Krivine => Girard
- 082349872349872 2y agopotentially interesting (1936) https://www.cs.huji.ac.il/w~lehmann/nonmon/Birkhoff_vonNeumann.pdf https://www.cs.huji.ac.il/w~lehmann/nonmon/Birkhoff_vonNeuma...