Bounded Arithmetic
Samuel R. BussCatégories:
Année:
1987
Editeur::
Amer Inst of Physics
Langue:
english
Pages:
221
ISBN 10:
8870881504
ISBN 13:
9788870881509
Collection:
Studies in Proof Theory, Lecture Notes, 3
Fichier:
PDF, 7.06 MB
IPFS:
,
english, 1987