Treffer 1 - 20 von 20 für Suche 'Guard,James R', Suchdauer: 0,73s Treffer weiter einschränken
  1. 1
    Lecture notes on recursive arithmetic

    Lecture notes on recursive arithmetic von Guard, James R

    Volltext bestellen
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Shih-Chao Liu. A theorem on general recursive functions. Proceedings of the American Mathematical Society, vol. 11 (1960), pp. 184–187

    Shih-Chao Liu. A theorem on general recursive functions. Proceedings of the American Mathematical Society, vol. 11 (1960), pp. 184–187 von Guard, James R.

    Veröffentlicht in The Journal of symbolic logic

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Gaisi Taxeuti. A remark on Gentzen's paper “Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie.” I—II. Proceedings of the Japan Academy, vol. 39 (1963), pp. 263–269

    Gaisi Taxeuti. A remark on Gentzen's paper “Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie.” I—II. Proceedings of the Ja... von Guard, James R.

    Veröffentlicht in The Journal of symbolic logic

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    R. L. Goodstein. Recursive analysis. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1961, viii + 138 pp

    R. L. Goodstein. Recursive analysis. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1961, viii + 138 pp von Guard, James R.

    Veröffentlicht in The Journal of symbolic logic

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Review: Shih-Chao Liu, A Theorem on General Recursive Functions

    Review: Shih-Chao Liu, A Theorem on General Recursive Functions von Guard, James R

    Veröffentlicht in The Journal of symbolic logic

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Review: R. L. Goodstein, Recursive Analysis

    Review: R. L. Goodstein, Recursive Analysis von Guard, James R

    Veröffentlicht in The Journal of symbolic logic

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    AUTOMATED LOGIC FOR SEMI-AUTOMATED MATHEMATICS

    AUTOMATED LOGIC FOR SEMI-AUTOMATED MATHEMATICS von Guard, James R

    Volltext bestellen
    Report

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Reviews

    Reviews von Guard, James R.

    Veröffentlicht in The Journal of Symbolic Logic

    Volltext
    Review

    Zu den Favoriten
    Gespeichert in:
  9. 9
    A Theorem on General Recursive Functions

    A Theorem on General Recursive Functions von Guard, James R.

    Veröffentlicht in The Journal of symbolic logic

    Volltext
    Review

    Zu den Favoriten
    Gespeichert in:
  10. 10
    REVIEWS

    REVIEWS von Guard, James R.

    Veröffentlicht in The Journal of Symbolic Logic

    Volltext
    Review

    Zu den Favoriten
    Gespeichert in:
  11. 11
    A Remark on Gentzen's paper "Beweisbarkeit und Unbeweisbarkeit von Anfangsfallen der Transfiniten Induktion in der Reinen Zahlentheorie." I-II

    A Remark on Gentzen's paper "Beweisbarkeit und Unbeweisbarkeit von Anfangsfallen der Transfiniten Induktion in der Reinen Zahlentheorie." I-II von Guard, James R.

    Veröffentlicht in The Journal of symbolic logic

    Volltext
    Review

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Recursive Analysis

    Recursive Analysis von Guard, James R.

    Veröffentlicht in The Journal of symbolic logic

    Volltext
    Review

    Zu den Favoriten
    Gespeichert in:
  13. 13
    REVIEWS

    REVIEWS von Guard, James R.

    Veröffentlicht in The Journal of Symbolic Logic

    Volltext
    Review

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Review: Gaisi Takeuti, A Remark on Gentzen's paper "Beweisbarkeit und Unbeweisbarkeit von Anfangsfallen der Transfiniten Induktion in der Reinen Zahlentheorie." I-II

    Review: Gaisi Takeuti, A Remark on Gentzen's paper "Beweisbarkeit und Unbeweisbarkeit von Anfangsfallen der Transfiniten Induktion in der Reinen Zahlentheorie." I-II von Guard, James R

    Veröffentlicht in The Journal of symbolic logic

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    CRT-AIDED SEMI-AUTOMATED MATHEMATICS

    CRT-AIDED SEMI-AUTOMATED MATHEMATICS von Bennett, James H, Guard, James R, Oglesby, Francis C, Bayern, Mark L , Jr

    Volltext bestellen
    Report

    Zu den Favoriten
    Gespeichert in:
  16. 16
    CRT-AIDED SEMI-AUTOMATED MATHEMATICS

    CRT-AIDED SEMI-AUTOMATED MATHEMATICS von Bennett, James H, Guard, James R, Haydock, Roger, Oglesby, Francis C, Settle, William L

    Volltext bestellen
    Report

    Zu den Favoriten
    Gespeichert in:
  17. 17
    CRT-AIDED SEMI-AUTOMATED MATHEMATICS

    CRT-AIDED SEMI-AUTOMATED MATHEMATICS von Bennett, James H, Easton, William B, Guard, James R, Settle, Larry G

    Volltext bestellen
    Report

    Zu den Favoriten
    Gespeichert in:
  18. 18
    SEMI-AUTOMATED MATHEMATICS: SAM IV

    SEMI-AUTOMATED MATHEMATICS: SAM IV von BENNETT,James H, Easton,William B, Guard,James R, Loveman,David B, Mott,Thomas H. ,Jr

    Volltext bestellen
    Report

    Zu den Favoriten
    Gespeichert in:
  19. 19
    TOWARD SEMI-AUTOMATED MATHEMATICS: THE LANGUAGE AND LOGIC OF SAM III

    TOWARD SEMI-AUTOMATED MATHEMATICS: THE LANGUAGE AND LOGIC OF SAM III von BENNETT,James H, Easton,William B, Guard,James R, Mott,Thomas H ,Jr

    Volltext bestellen
    Report

    Zu den Favoriten
    Gespeichert in:
  20. 20
    INTRODUCTION TO SEMI-AUTOMATED MATHEMATICS

    INTRODUCTION TO SEMI-AUTOMATED MATHEMATICS von Mott,Thomas H , Jr, Guard ,James R, Bennett ,James H, Easton,William B

    Volltext bestellen
    Report

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: