A. M. Ungar
Författare till Normalization, Cut-Elimination and the Theory of Proofs
Verk av A. M. Ungar
Taggad
Allmänna fakta
Det finns inga Allmänna fakta än om den här författaren. Du kan lägga till några.
Medlemmar
Statistik
- Verk
- 1
- Medlemmar
- 6
- Popularitet
- #1,227,255
- ISBN
- 2