Neidio i'r cynnwys
UPFind
  • Bag Llyfrau: 0 eitemau (Llawn)
  • Iaith
    • English
    • Deutsch
    • Español
    • Français
    • Italiano
    • 日本語
    • Nederlands
    • Português
    • Português (Brasil)
    • 中文(简体)
    • 中文(繁體)
    • Türkçe
    • עברית
    • Gaeilge
    • Cymraeg
    • Ελληνικά
    • Català
    • Euskara
    • Русский
    • Čeština
    • Suomi
    • Svenska
    • polski
    • Dansk
    • slovenščina
    • اللغة العربية
    • বাংলা
    • Galego
    • Tiếng Việt
    • Hrvatski
    • हिंदी
Uwch
  • Formal systems and recursive f...
  • Dyfynnu hwn
  • E-bostio hwn
  • Argraffu
  • Allforio Cofnod
    • Export toEndNote
    • Export toMARC
    • Export toMARCXML
  • Ychwanegu at y Bag Llyfrau Symud o'r Bag Llyfrau
  • Permanent link
Formal systems and recursive functions proceedings
Côd QR

Formal systems and recursive functions proceedings

Manylion Llyfryddiaeth
Awduron Corfforaethol: Logic Colloquium Oxford, Association for Symbolic Logic, North Atlantic Treaty Organization, International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science, Symposium on Recursive Functions
Awduron Eraill: Crossley, John N., Dummett, Michael A. E.
Fformat: Llyfr
Cyhoeddwyd: Amsterdam North-Holland Pub. Co. 1965.
Cyfres:Studies in logic and the foundations of mathematics.
Pynciau:
Logic, Symbolic and mathematical.
Recursive functions.
  • Daliadau
  • Disgrifiad
  • Rhagolwg
  • Dangos Staff

Search Options

  • Hanes Chwilio
  • Chwiliad Uwch

Discover More

  • Pori'r Catalog
  • Archwiliwch Sianeli

Need Help?

  • Awgrymiadau Chwilio
  • Gofynnwch i Lyfrgellydd
  • Cwestiynau Cyffredin

More Information

  • About Tuklas
  • Contact Us

TUKLAS: UP Libraries' Resource Discovery Tool
Copyright © 2020-2021. The University Library, University of the Philippines Diliman