<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2012-10-10 16:17:58Set theory Ordinal numbers Proof theory Ordinal arithmetic Curry–Howard correspondence Mathematical logic Collision Mechanics |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2012-10-10 16:17:58Set theory Ordinal numbers Proof theory Ordinal arithmetic Curry–Howard correspondence Mathematical logic Collision Mechanics |
Add to Reading List |
A General Discrete Velocity Model Including Internal Degrees of Freedom