Arama Sonuçları - "Predicate calculus."

  1. 1
    Kapak Resmi

    Two papers on the predicate calculus / by S.C. Kleene.

    Baskı/Yayın Bilgisi 1952
    Kitap

    Favorilerime ekle
    Kaydedildi:
  2. 2
    Kapak Resmi

    Subsystems of second order arithmetic / Stephen G. Simpson.

    Baskı/Yayın Bilgisi ©1999
    Kitap

    Favorilerime ekle
    Kaydedildi:
  3. 3
    Kapak Resmi

    Propositional and predicate calculus : a model of argument / Derek Goldrei.

    Baskı/Yayın Bilgisi ©2005
    Kitap

    Favorilerime ekle
    Kaydedildi:
  4. 4
    Kapak Resmi

    Dve interpreta︠t︡sii logicheskikh sistem / V. V. ︠T︡Selishchev, A. V. Bessonov.

    Baskı/Yayın Bilgisi 1979
    Kitap

    Favorilerime ekle
    Kaydedildi:
  5. 5
    Kapak Resmi

    Existence and the particular quantifier / Alex Orenstein.

    Baskı/Yayın Bilgisi 1978
    Kitap

    Favorilerime ekle
    Kaydedildi:
  6. 6
    Kapak Resmi

    Logic for mathematicians / A. G. Hamilton.

    Baskı/Yayın Bilgisi 1978
    Kitap

    Favorilerime ekle
    Kaydedildi:
  7. 7
    Kapak Resmi

    Logic for mathematicians / A. G. Hamilton.

    Baskı/Yayın Bilgisi 1978
    Kitap

    Favorilerime ekle
    Kaydedildi:
  8. 8
    Kapak Resmi

    Logic for mathematicians / A. G. Hamilton.

    Baskı/Yayın Bilgisi 1978
    Kitap

    Favorilerime ekle
    Kaydedildi:
  9. 9
    Kapak Resmi

    Büchi's monadic second order successor arithmetic.

    Baskı/Yayın Bilgisi 1970
    Kitap

    Favorilerime ekle
    Kaydedildi:
  10. 10
    Kapak Resmi

    Büchi's monadic second order successor arithmetic.

    Baskı/Yayın Bilgisi 1970
    Kitap

    Favorilerime ekle
    Kaydedildi:
  11. 11
    Kapak Resmi

    Logic : form and function : the mechanization of deductive reasoning / J. A. Robinson.

    Baskı/Yayın Bilgisi ©1979
    Kitap

    Favorilerime ekle
    Kaydedildi:
  12. 12
    Kapak Resmi

    The decision problem : solvable classes of quantificational formulas / Burton Dreben, Warren D. Goldfarb.

    Baskı/Yayın Bilgisi 1979
    Kitap

    Favorilerime ekle
    Kaydedildi:
  13. 13
    Kapak Resmi

    Propositional and predicate calculus : a model of argument / Derek Goldrei.

    Baskı/Yayın Bilgisi ©2005
    Kitap

    Favorilerime ekle
    Kaydedildi:
  14. 14
    Kapak Resmi

    The axiomatic method ; an introduction to mathematical logic.

    Baskı/Yayın Bilgisi 1964
    Kitap

    Favorilerime ekle
    Kaydedildi:
  15. 15
    Kapak Resmi

    Predicate calculus and program semantics / Edsger W. Dijkstra, Carel S. Scholten.

    Baskı/Yayın Bilgisi ©1989
    Kitap

    Favorilerime ekle
    Kaydedildi:
  16. 16
    Kapak Resmi

    Worlds, times and selves / A. N. Prior and Kit Fine.

    Baskı/Yayın Bilgisi c1977
    Kitap

    Favorilerime ekle
    Kaydedildi:
  17. 17
    Kapak Resmi

    Worlds, times and selves / A. N. Prior and Kit Fine.

    Baskı/Yayın Bilgisi 1977
    Kitap

    Favorilerime ekle
    Kaydedildi:
  18. 18
    Kapak Resmi

    Completeness, compactness, and undecidability : an introduction to mathematical logic / Alfred B. Manaster.

    Baskı/Yayın Bilgisi 1975
    Kitap

    Favorilerime ekle
    Kaydedildi:
  19. 19
    Kapak Resmi

    Tableau systems for first order number theory and certain higher order theories / Sue Toledo.

    Baskı/Yayın Bilgisi 1975
    Kitap

    Favorilerime ekle
    Kaydedildi:
  20. 20
    Kapak Resmi

    Logic, form and function : the mechanization of deductive reasoning / J. A. Robinson.

    Baskı/Yayın Bilgisi ©1979
    Kitap

    Favorilerime ekle
    Kaydedildi:

Arama Araçları: