A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Détail de l'auteur
Auteur J. N. CROSSLEY
Documents disponibles écrits par cet auteur
Affiner la recherche Interroger des sources externesAlgebra and logic (1975) / J. N. CROSSLEY
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 (eng) Catégories : 00-02
00A10
01A05
01A60
02-03
02A05
02C10
02C20
55E05
20E40
02E99
02F99
02K05
13B25
13F20
13J05
13L05
20M10Mots-clés : logique symbolique logique mathématique algèbre groupe anneau commutatif Algebra and logic [texte imprimé] / J. N. CROSSLEY, Auteur . - Springer-Verlag, 1975. - (Lecture Note in Mathematics, ISSN 0075-8434; 450) .
ISBN : 978-3-540-07152-5
Langues : Anglais (eng)
Catégories : 00-02
00A10
01A05
01A60
02-03
02A05
02C10
02C20
55E05
20E40
02E99
02F99
02K05
13B25
13F20
13J05
13L05
20M10Mots-clés : logique symbolique logique mathématique algèbre groupe anneau commutatif Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 3052 LN 450 Livre Recherche Salle Disponible Combinatorial functors (1974) / J. N. CROSSLEY
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 (eng) 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 . - Springer-Verlag, 1974 . - 146 p.. - (Engebnisse der Mathematik und Ihrer Grenzgebiete, ISSN 0071-1136; 81) .
ISBN : 978-3-540-06428-2
Langues : Anglais (eng)
Mots-clés : modèle mathématique catégorie fonction combinatoire Note de contenu : index, notations, bibliogr. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 3419 CRO/02/4696 Livre Recherche Salle Disponible Formal systems and recursive functions (1965) / J. N. CROSSLEY
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 (eng) 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 . - North-Holland Publishing Company, 1965 . - 320 p.. - (Studies in logic and the foundations of mathematics, ISSN 0049-237X) .
Langues : Anglais (eng)
Mots-clés : système formel fonction récursive Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5467 CRO/02/2638 Livre Recherche Salle Disponible Proof theory (1977) / Karl SCHÜTTE
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 (eng) Langues originales : Allemand (ger) 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 . - Springer-Verlag, 1977 . - XIII-302 p.. - (Grundlehren der mathematischen wissenschaften, ISSN 0072-7830; 225) .
ISBN : 978-3-540-07911-8
Langues : Anglais (eng) Langues originales : Allemand (ger)
Catégories : 03FXX Mots-clés : théorie de la démonstration théorie de la preuve Note de contenu : index, bibliogr. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 2443 SCH/02/4956 Livre Recherche Salle Disponible