Chủ đề được đề xuất trong tìm kiếm của bạn.
Đang hiển thị 1 - 13 kết quả của 13 cho tìm kiếm '', thời gian truy vấn: 0.01s Tinh chỉnh kết quả
  1. 1
    Nonclassical logics and information processing : international workshop, Berlin, Germany, November 9-10, 1990 : proceedings /
    Hội nghị đang tiến hành Sách
    Được phát hành 1992
    Lưu vào danh sách
    Đã lưu trong:
  2. 2
    Beweistheorie.
    Sách
    Bằng Schutte, K. (Kurt)
    Được phát hành 1960
    Lưu vào danh sách
    Đã lưu trong:
  3. 3
    Proof theory /
    Sách
    Bằng Takeuti, Gaisi, 1926-
    Được phát hành 1975
    Lưu vào danh sách
    Đã lưu trong:
  4. 4
    Proof theory /
    Sách
    Bằng Schütte, K. (Kurt)
    Được phát hành 1977
    Lưu vào danh sách
    Đã lưu trong:
  5. 5
    Proof theory : an introduction /
    Sách
    Bằng Pohlers, Wolfram
    Được phát hành 1989
    Lưu vào danh sách
    Đã lưu trong:
  6. 6
    The unprovability of consistency : an essay in modal logic /
    Sách
    Bằng Boolos, George
    Được phát hành 1979
    Lưu vào danh sách
    Đã lưu trong:
  7. 7
    On the shape of mathematical arguments /
    Sách
    Bằng Gasteren, A. J. M. (Antonetta J. M.) van, 1952-
    Được phát hành 1990
    Lưu vào danh sách
    Đã lưu trong:
  8. 8
    Recursive program schemes : semantics and proof theory /
    Sách
    Bằng Roever, W.-P. de
    Được phát hành 1976
    Lưu vào danh sách
    Đã lưu trong:
  9. 9
    Absoluteness of intuitionistic logic /
    Sách
    Bằng Leivant, Daniel Maurice Raphaël
    Được phát hành 1979
    Lưu vào danh sách
    Đã lưu trong:
  10. 10
    Proof theory of modal logic /
    Sách
    Được phát hành 1996
    Lưu vào danh sách
    Đã lưu trong:
  11. 11
    Analysis : with an introduction to proof /
    Sách
    Bằng Lay, Steven R., 1944-
    Được phát hành 1990
    Lưu vào danh sách
    Đã lưu trong:
  12. 12
    Axiomatising the logic of computer programming /
    Sách
    Bằng Goldblatt, Robert
    Được phát hành 1982
    Lưu vào danh sách
    Đã lưu trong:
  13. 13
    Combinators, -terms and proof theory.
    Luận văn Sách
    Bằng Stenlund, Soren
    Được phát hành 1972
    Lưu vào danh sách
    Đã lưu trong:
Công cụ tìm kiếm: Nhận nguồn cấp dữ liệu RSS – Tìm kiếm email này – Lưu tìm kiếm