Showing 1 - 20 results of 161 for search '', query time: 0.21s Refine Results
  1. 1
    The ghost papers /
    by Uphoff, Joe, 1950-
    Published 1994

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  2. 2
    Metamathematics and the philosophical tradition /
    by Boos, William
    Published 2018

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  3. 3
    Elementary logic of science and mathematics
    by Nidditch, P. H
    Published 1960

    Book
  4. 4
    M�etamath�ematique
    by Lorenzen, Paul
    Published 1967

    Book
  5. 5
    Th�eorie m�etamath�ematique des id�eaux
    by Robinson, Abraham, 1918-1974
    Published 1955

    Book
  6. 6
    Beweistheorie
    by Sch�utte, K (Kurt)
    Published 1960

    Book
  7. 7
    Unvollstaendigkeit und Unentscheidbarkeit Die metamathematischen Resultate von Goedel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung.
    by Stegmüller, Wolfgang
    Published 1970

    Book
  8. 8
    The mathematics of metamathematics
    by Rasiowa, Helena
    Published 1968

    Book
  9. 9
    The mathematics of metamathematics
    by Rasiowa, Helena
    Published 1968

    Book
  10. 10
    Essays on the foundations of mathematics
    Published 1961

    Book
  11. 11
    The mathematics of metamathematics
    by Rasiowa, Helena
    Published 1963

    Book
  12. 12
    Les limitations internes des formalismes; �etude sur la signification du th�eor�eme de G�odel et des th�eor�emes apparent�es dans la th�eorie des fondements des math�ematiques
    by Ladri�ere, Jean
    Published 1957

    Book
  13. 13
    The metamathematics of algebraic systems, collected papers: 1936-1967

    Book
  14. 14
    Metamathematics, machines, and G�odels proof /
    by Shankar, N (Natarajan)
    Published 1994

    Book
  15. 15
    Mathematized humanities via humanized mathematics /
    by Pol�ak, V�aclav
    Published 1992

    Book
  16. 16
    A simple direct proof of Post's normal form theorem /
    by Minsky, Marvin, 1927-2016
    Published 1962

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  17. 17
    On the metamathematics of impredicative et theory
    by Marek, Wiktor
    Published 1972

    Book
  18. 18
    La logique interne /
    by Gauthier, Yvon
    Published 1991

    Book
  19. 19
    Unvollstaendigkeit und Unentscheidbarkeit; die metamathematischen Resultate von Goedel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung
    by Stegmüller, Wolfgang
    Published 1973

    Book
  20. 20
    Essays on the foundations of mathematics : dedicated to A. A. Fraenkel on his seventieth anniversary /
    Published 1961

    Book
Search Tools: Get RSS Feed — Email this Search