Hakutulokset - "Predicate calculus"

  1. 1
    Kansikuva

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

    Julkaistu 1952
    Kirja

    Lisää suosikkeihin
    Tallennettuna:
  2. 2
    Kansikuva

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

    Julkaistu 1952
    Kirja

    Lisää suosikkeihin
    Tallennettuna:
  3. 3
    Kansikuva

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

    Julkaistu ©1989
    Kirja

    Lisää suosikkeihin
    Tallennettuna:
  4. 4
    Kansikuva

    Subsystems of second order arithmetic / Stephen G. Simpson.

    Julkaistu 2009
    Kirja

    Lisää suosikkeihin
    Tallennettuna:
  5. 5
    Kansikuva

    Subsystems of second order arithmetic / Stephen G. Simpson.

    Julkaistu ©1999
    Kirja

    Lisää suosikkeihin
    Tallennettuna:
  6. 6
    Kansikuva

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

    Julkaistu ©2005
    Kirja

    Lisää suosikkeihin
    Tallennettuna:
  7. 7
    Kansikuva

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

    Julkaistu ©2005
    Kirja

    Lisää suosikkeihin
    Tallennettuna:
  8. 8
    Kansikuva

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

    Julkaistu 1979
    Kirja

    Lisää suosikkeihin
    Tallennettuna:
  9. 9
    Kansikuva

    Existence and the particular quantifier / Alex Orenstein.

    Julkaistu 1978
    Kirja

    Lisää suosikkeihin
    Tallennettuna:
  10. 10
    Kansikuva

    An examination of a decision procedure / by Francis C. Oglesby.

    Julkaistu 1962
    Kirja

    Lisää suosikkeihin
    Tallennettuna:
  11. 11
    Kansikuva

    Logic for mathematicians / A. G. Hamilton.

    Julkaistu 1978
    Kirja

    Lisää suosikkeihin
    Tallennettuna:
  12. 12
    Kansikuva

    Logic for mathematicians / A. G. Hamilton.

    Julkaistu 1978
    Kirja

    Lisää suosikkeihin
    Tallennettuna:
  13. 13
    Kansikuva

    Logic for mathematicians / A. G. Hamilton.

    Julkaistu 1978
    Kirja

    Lisää suosikkeihin
    Tallennettuna:
  14. 14
    Kansikuva

    Büchi's monadic second order successor arithmetic.

    Julkaistu 1970
    Kirja

    Lisää suosikkeihin
    Tallennettuna:
  15. 15
    Kansikuva

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

    Julkaistu ©1979
    Kirja

    Lisää suosikkeihin
    Tallennettuna:
  16. 16
    Kansikuva

    Büchi's monadic second order successor arithmetic.

    Julkaistu 1970
    Kirja

    Lisää suosikkeihin
    Tallennettuna:
  17. 17
    Kansikuva

    The axiomatic method ; an introduction to mathematical logic.

    Julkaistu 1964
    Kirja

    Lisää suosikkeihin
    Tallennettuna:
  18. 18
    Kansikuva

    Logic primer / Colin Allen and Michael Hand.

    Julkaistu 2022
    Kirja

    Lisää suosikkeihin
    Tallennettuna:
  19. 19
    Kansikuva

    Algebraic logic and predicate functors, by W. V. Quine.

    Julkaistu 1971
    Kirja

    Lisää suosikkeihin
    Tallennettuna:
  20. 20
    Kansikuva

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

    Julkaistu 1977
    Kirja

    Lisää suosikkeihin
    Tallennettuna:

Työkalut: