Proof theory and logical complexity. 1.
Jean-Yves Girard
Bok Engelsk 1987
| Utgitt | Napoli : Bibliopolis , 1987
|
|---|---|
| Omfang | 503 s.
|
| Emner | Proof theory
Bevisføring (Matematikk) Bevisteori Deduksjon Vis mer... Kompleksitet
Logikk Logisk slutning Symbolsk logikk deduksjon logisk slutning symbolsk logikk bevisteori kompleksitet |
| ISBN | 0444987150. - 8870881237
|
