Logic colloquium '73 : proceedings /

Détails bibliographiques
Cote:Libro Electrónico
Collectivité auteur: Logic Colloquium Bristol
Autres auteurs: Rose, Harvey Ernest, Shepherdson, J. C.
Format: Électronique Actes de congrès eBook
Langue:Inglés
Publié: Amsterdam : New York : North-Holland Pub. Co. ; American Elsevier Pub. Co., 1975.
Collection:Studies in logic and the foundations of mathematics ; v. 80.
Sujets:
Logic, Symbolic and mathematical > Congresses.
Logique symbolique et math�ematique > Congr�es.
Logic, Symbolic and mathematical
Engenharia De Programacao (Software)
Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congr�es.
Accès en ligne:Texto completo
Texto completo
Texto completo

Documents similaires

Documents similaires