Bibliothèque de L'IMIST/CNRST

Votre panier est vide.
IMIST


Votre recherche a retourné 24 résultats.

A course on mathematical logic / par Srivastava, S. M. Publication : New York, NY : Springer, 2013 . 1 online resource. Date : 2013 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

Réserver Ajouter au panier
Mathematical logic / par Monk, J. Donald Publication : New York : Springer-Verlag, 1976 . x, 531 p. ; 25 cm. Date : 1976 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

Réserver Ajouter au panier
Computation and Proof Theory : Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983 Part II / par Börger, Egon. Publication : Berlin, Heidelberg : Springer Berlin Heidelberg, 1984 . 1 online resource (viii, 475 pages .). Date : 1984 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

Réserver Ajouter au panier
Picturing quantum processes : a first course in quantum theory and diagrammatic reasoning / par Coecke, Bob, Publication : Cambridge ; | New York : Cambridge University Press, 2017 . xvii, 827 pages : 25 cm Date : 2017 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

Réserver Ajouter au panier
Vous ne trouvez pas ce que vous cherchez ?
© Tous droits résérvés IMIST/CNRST
Angle Av. Allal Al Fassi et Av. des FAR, Hay Ryad, BP 8027, 10102 Rabat, Maroc
Tél:(+212) 05 37.56.98.00
CNRST / IMIST

Propulsé par Koha