Algebra and logic / J. N. CROSSLEY (1975)

Public ISBD Titre : Algebra and logic Type de document : texte imprimé Auteurs : J. N. CROSSLEY, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1975 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 450 ISBN/ISSN/EAN : 978-3-540-07152-5 Langues : Anglais Catégories : 00-02 00A10 01A05 01A60 02-03 02A05 02C10 02C20 55E05 20E40 02E99 02F99 02K05 13B25 13F20 13J05 13L05 20M10 Mots-clés : logique symbolique  logique mathématique  algèbre  groupe  anneau commutatif Algebra and logic [texte imprimé] / J. N. CROSSLEY, Auteur . - Berlin : Springer-Verlag, 1975. - (Lecture Note in Mathematics, ISSN 0075-8434; 450) . ISBN : 978-3-540-07152-5 Langues : Anglais Catégories : 00-02 00A10 01A05 01A60 02-03 02A05 02C10 02C20 55E05 20E40 02E99 02F99 02K05 13B25 13F20 13J05 13L05 20M10 Mots-clés : logique symbolique  logique mathématique  algèbre  groupe  anneau commutatif

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
3052	LN 450	Livre	Recherche	Salle	Disponible

Combinatorial functors / J. N. CROSSLEY (1974)

Public ISBD Titre : Combinatorial functors Type de document : texte imprimé Auteurs : J. N. CROSSLEY, Auteur ; Anil NERODE, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1974 Collection : Engebnisse der Mathematik und Ihrer Grenzgebiete, ISSN 0071-1136 num. 81 Importance : 146 p. ISBN/ISSN/EAN : 978-3-540-06428-2 Langues : Anglais Mots-clés : modèle mathématique  catégorie  fonction combinatoire Note de contenu : index, notations, bibliogr. Combinatorial functors [texte imprimé] / J. N. CROSSLEY, Auteur ; Anil NERODE, Auteur . - Berlin : Springer-Verlag, 1974 . - 146 p.. - (Engebnisse der Mathematik und Ihrer Grenzgebiete, ISSN 0071-1136; 81) . ISBN : 978-3-540-06428-2 Langues : Anglais Mots-clés : modèle mathématique  catégorie  fonction combinatoire Note de contenu : index, notations, bibliogr.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
3419	CRO/02/4696	Livre	Recherche	Salle	Disponible

Formal systems and recursive functions / J. N. CROSSLEY (1965)

Public ISBD Titre : Formal systems and recursive functions : proceeding of the eighth Logic Colloquium, Oxford, july 1963 Type de document : texte imprimé Auteurs : J. N. CROSSLEY, Editeur scientifique ; M. A. E. DUMMETT, Editeur scientifique Editeur : Amsterdam : North-Holland Publishing Company Année de publication : 1965 Collection : Studies in logic and the foundations of mathematics, ISSN 0049-237X Importance : 320 p. Langues : Anglais Mots-clés : système formel  fonction récursive Formal systems and recursive functions : proceeding of the eighth Logic Colloquium, Oxford, july 1963 [texte imprimé] / J. N. CROSSLEY, Editeur scientifique ; M. A. E. DUMMETT, Editeur scientifique . - Amsterdam : North-Holland Publishing Company, 1965 . - 320 p.. - (Studies in logic and the foundations of mathematics, ISSN 0049-237X) . Langues : Anglais Mots-clés : système formel  fonction récursive

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
5467	CRO/02/2638	Livre	Recherche	Salle	Disponible

Proof theory / Karl SCHÜTTE (1977)

Public ISBD Titre : Proof theory Type de document : texte imprimé Auteurs : Karl SCHÜTTE, Auteur ; J. N. CROSSLEY, Traducteur Editeur : Berlin : Springer-Verlag Année de publication : 1977 Collection : Grundlehren der mathematischen wissenschaften, ISSN 0072-7830 num. 225 Importance : XIII-302 p. ISBN/ISSN/EAN : 978-3-540-07911-8 Langues : Anglais Langues originales : Allemand Catégories : 03FXX Mots-clés : théorie de la démonstration  théorie de la preuve Note de contenu : index, bibliogr. Proof theory [texte imprimé] / Karl SCHÜTTE, Auteur ; J. N. CROSSLEY, Traducteur . - Berlin : Springer-Verlag, 1977 . - XIII-302 p.. - (Grundlehren der mathematischen wissenschaften, ISSN 0072-7830; 225) . ISBN : 978-3-540-07911-8 Langues : Anglais Langues originales : Allemand Catégories : 03FXX Mots-clés : théorie de la démonstration  théorie de la preuve Note de contenu : index, bibliogr.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
2443	SCH/02/4956	Livre	Recherche	Salle	Disponible

---

page 1/1