Showing 21 - 30 results of 46 for search '"Studies in logic and the foundations of mathematics"', Forespørselstid: 0.02s Refine Results
  1. 21

    Sets, models and recursion theory.

    Udgivet 1967
    Bog

    Sets, models and recursion theory.
  2. 22

    Non-standard anlysis. af Robinson, Abraham

    Udgivet 1966
    Bog

    Non-standard anlysis.
  3. 23

    Abstract set theory af Fraenkel, Abraham Adolf 1891-

    Udgivet 1966
    Bog

    Abstract set theory
  4. 24

    Abstract set theory. af Fraenkel, Abraham A. 1891-1965

    Udgivet 1966
    Bog

    Abstract set theory.
  5. 25

    Intuitionism an introduction af Heyting, Arend 1898-

    Udgivet 1966
    Bog

    Intuitionism an introduction
  6. 26

    Formal systems and recursive functions proceedings

    Udgivet 1965
    Bog

    Formal systems and recursive functions proceedings
  7. 27

    The Foundations of intuitionistic mathematics especially in relation to recursive functions af Kleene, Stephen Cole, 1909-

    Udgivet 1965
    Bog

    The Foundations of intuitionistic mathematics especially in relation to recursive functions
  8. 28

    Introduction to the theory of finite automata. af Kobrinskii, N. E.

    Udgivet 1965
    Bog

    Introduction to the theory of finite automata.
  9. 29

    The theory of models proceedings

    Udgivet 1965
    Bog

    The theory of models proceedings
  10. 30

    Sentences undecidable in formalized arithmetic an exposition of the theory of Kurt Godel af Mostowski, Andrzej

    Udgivet 1964
    Bog

    Sentences undecidable in formalized arithmetic an exposition of the theory of Kurt Godel

Søgeredskaber: