Результати пошуку - "Predicate calculus"

  1. 1
    Зображення обкладинки

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

    Опубліковано 1952
    Книга

    Додати у Вибране
    Збережено в:
  2. 2
    Зображення обкладинки

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

    Опубліковано 1952
    Книга

    Додати у Вибране
    Збережено в:
  3. 3
    Зображення обкладинки

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

    Опубліковано ©1989
    Книга

    Додати у Вибране
    Збережено в:
  4. 4
    Зображення обкладинки

    Subsystems of second order arithmetic / Stephen G. Simpson.

    Опубліковано 2009
    Книга

    Додати у Вибране
    Збережено в:
  5. 5
    Зображення обкладинки

    Subsystems of second order arithmetic / Stephen G. Simpson.

    Опубліковано ©1999
    Книга

    Додати у Вибране
    Збережено в:
  6. 6
    Зображення обкладинки

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

    Опубліковано ©2005
    Книга

    Додати у Вибране
    Збережено в:
  7. 7
    Зображення обкладинки

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

    Опубліковано 1979
    Книга

    Додати у Вибране
    Збережено в:
  8. 8
    Зображення обкладинки

    Existence and the particular quantifier / Alex Orenstein.

    Опубліковано 1978
    Книга

    Додати у Вибране
    Збережено в:
  9. 9
    Зображення обкладинки

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

    Опубліковано 1962
    Книга

    Додати у Вибране
    Збережено в:
  10. 10
    Зображення обкладинки

    Logic for mathematicians / A. G. Hamilton.

    Опубліковано 1978
    Книга

    Додати у Вибране
    Збережено в:
  11. 11
    Зображення обкладинки

    Logic for mathematicians / A. G. Hamilton.

    Опубліковано 1978
    Книга

    Додати у Вибране
    Збережено в:
  12. 12
    Зображення обкладинки

    Logic for mathematicians / A. G. Hamilton.

    Опубліковано 1978
    Книга

    Додати у Вибране
    Збережено в:
  13. 13
    Зображення обкладинки

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

    Опубліковано ©1979
    Книга

    Додати у Вибране
    Збережено в:
  14. 14
    Зображення обкладинки

    Büchi's monadic second order successor arithmetic.

    Опубліковано 1970
    Книга

    Додати у Вибране
    Збережено в:
  15. 15
    Зображення обкладинки

    Büchi's monadic second order successor arithmetic.

    Опубліковано 1970
    Книга

    Додати у Вибране
    Збережено в:
  16. 16
    Зображення обкладинки

    The axiomatic method ; an introduction to mathematical logic.

    Опубліковано 1964
    Книга

    Додати у Вибране
    Збережено в:
  17. 17
    Зображення обкладинки

    Logic primer / Colin Allen and Michael Hand.

    Опубліковано 2022
    Книга

    Додати у Вибране
    Збережено в:
  18. 18
    Зображення обкладинки

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

    Опубліковано 1971
    Книга

    Додати у Вибране
    Збережено в:
  19. 19
    Зображення обкладинки

    Quantification relativiste / A. Unterberger.

    Опубліковано 1991
    Книга

    Додати у Вибране
    Збережено в:
  20. 20
    Зображення обкладинки

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

    Опубліковано c1977
    Книга

    Додати у Вибране
    Збережено в:

Інструменти для пошуку: