Aller au contenu
UPFind
  • Panier de livres: 0 notices (Plein)
  • Langue
    • 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
    • हिंदी
Recherche avancée
  • Formal systems and recursive f...
  • Citer
  • Envoyer par courriel
  • Imprimer
  • Exporter les notices
    • Export toEndNote
    • Export toMARC
    • Export toMARCXML
  • Ajouter au panier Retirer du panier
  • Permalien
Formal systems and recursive functions proceedings
QR Code

Formal systems and recursive functions proceedings

Détails bibliographiques
Collectivités auteurs: 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
Autres auteurs: Crossley, John N., Dummett, Michael A. E.
Format: Livre
Publié: Amsterdam North-Holland Pub. Co. 1965.
Collection:Studies in logic and the foundations of mathematics.
Sujets:
Logic, Symbolic and mathematical.
Recursive functions.
  • Exemplaires
  • Description
  • Prévisualiser
  • Affichage MARC

Search Options

  • Historique de recherche
  • Recherche avancée

Discover More

  • Parcourir le catalogue
  • Explorer avec les canaux

Need Help?

  • Astuces pour la recherche
  • Contacter un bibliothécaire
  • FAQ

More Information

  • About Tuklas
  • Contact Us

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