Showing 1 - 7 results of 7 for search '', Forespørselstid: 0.02s Refine Results
  1. 1

    Introduction to metamathematics af Kleene, Stephen Cole 1909-1994

    Udgivet 1971
    Bog

    Introduction to metamathematics
  2. 2

    The metamathematics of algebraic systems, collected papers 1936-1967 af Maltsev, A. I. 1909-1967

    Udgivet 1971
    Bog

    The metamathematics of algebraic systems, collected papers 1936-1967
  3. 3

    Natural deduction the logical basis of axiom systems af Anderson, John Mueller

    Udgivet 1962
    Bog

    Natural deduction the logical basis of axiom systems
  4. 4

    Essays on the foundations of mathematics.

    Udgivet 1961
    Bog

    Essays on the foundations of mathematics.
  5. 5

    Godel's proof af Nagel, Ernest 1901-

    Udgivet 1958
    Bog

    Godel's proof
  6. 6

    Introduction to metamathematics af Kleene, Stephen Cole 1909-1994

    Udgivet 1952
    Bog

    Introduction to metamathematics
  7. 7

    Introduction to model theory and to the metamathematics of algebra af Robinson, Abraham

    Bog

    Introduction to model theory and to the metamathematics of algebra

Søgeredskaber: