Révision 142 CharacterizingPH/biblio.bib
| biblio.bib (revision 142) | ||
|---|---|---|
| 468 | 468 |
} |
| 469 | 469 |
|
| 470 | 470 |
|
| 471 |
@article{Buss:95:wfm-arith,
|
|
| 472 |
title={The witness function method and provably recursive functions of Peano arithmetic},
|
|
| 473 |
author={Buss, Samuel R},
|
|
| 474 |
journal={Studies in Logic and the Foundations of Mathematics},
|
|
| 475 |
volume={134},
|
|
| 476 |
pages={29--68},
|
|
| 477 |
year={1995},
|
|
| 478 |
publisher={Elsevier}
|
|
| 479 |
} |
|
| 471 | 480 |
|
| 472 | 481 |
|
| 473 | 482 |
|
| 483 |
@article{troelstra1998realizability,
|
|
| 484 |
title={Realizability},
|
|
| 485 |
author={Troelstra, Anne Sjerp},
|
|
| 486 |
journal={Handbook of Proof Theory},
|
|
| 487 |
year={1998},
|
|
| 488 |
publisher={North-Holland/Elsevier}
|
|
| 489 |
} |
|
| 490 |
@article{avigad1998godel,
|
|
| 491 |
title={G{\"o}del’s functional (“{D}ialectica”) interpretation},
|
|
| 492 |
author={Avigad, Jeremy},
|
|
| 493 |
journal={Handbook of Proof Theory},
|
|
| 494 |
volume={137},
|
|
| 495 |
year={1998}
|
|
| 496 |
} |
|
| 474 | 497 |
|
| 475 | 498 |
|
| 476 | 499 |
|
Formats disponibles : Unified diff