Recherche avancée

Formal systems and recursive functions : proceedings of the eighth logic colloquium Oxford, July 1963 [monographie] Proceedings of the eighth logic colloquium Oxford, July 1963

Auteur(s):

Crossley, John Newsome (1937-....) (Ed.) Dummett, Michael Anthony Eardley (1925-2011) (Ed.)

Langue:

anglais

Collection:

Studies in logic and the foundations of mathematics

Editeur, date d'édition:

North-Holland, 1965

Ville(s) d'édition:

Amsterdam (NL)

Congrés:

Formal systems and recursive functions (1963) Oxford (GB)

ISSN:

0049-237X

Classification MSC:

02.70 (2000)

Notes:

ix ; notes bibliogr. ; 23 cm ; 320 p.

Thèmes:

fonctions recursives, congres, systeme formel, recursive functions, logic symbolic and mathematical

---

     Exemplaire(s)

---

Cote	Retour
05 CRO 65	Disponible