Your search returned 81 results. Subscribe to this search

|
1. ˜A œframework for priority arguments Manuel Lerman.

by Lerman,, M. 1943- ((Manuel),).

Material type: book Book; Format: print Publisher: New York Cambridge University Press 2010Availability: Items available for loan: La bibliothèque des Sciences Exactes et Naturelles [Call number: 511.36 LER] (1).

2. ˜The œevolution of Principia mathematica : Bertrand Russell's manuscripts and notes for the second edition Bernard Linsky.

by Linsky, Bernard.

Material type: book Book; Format: print Publisher: Cambridge New York Cambridge University Press 2011Availability: Items available for loan: La bibliothèque des Sciences Exactes et Naturelles [Call number: 510.1 LIN] (1).

3. A concise introduction to mathematical logic Wolfgang Rautenberg.

by Rautenberg,, Wolfgang.

Edition: 2nd ed.Material type: book Book; Format: print Publisher: New York, NY Springer 2006Availability: Items available for loan: La bibliothèque des Sciences Exactes et Naturelles [Call number: 530.11 RAU] (1).

4. A course on mathematical logic / S.M. Srivastava.

by Srivastava,, S. M. ((Shashi Mohan)).

Material type: book Book; Format: print Publisher: New York : Springer, [2008]; copyright 2008Availability: Items available for reference: [Call number: XX(34912.1)] (1).

5. A transition to abstract mathematics: learning mathematical thinking and writing Randall Mad

by Maddox, Randall.

Edition: 2nd ed.Material type: book Book; Format: print Publisher: [S.l.] Academic Press 2009Availability: Items available for loan: La bibliothèque des Sciences Exactes et Naturelles [Call number: 511.3 MAD] (1).

6. Around classification theory of models Saharon Shelah.

by Shelah,, Saharon.

Edition: 1986th ed.Material type: book Book; Format: print Publisher: [S.l.] Springer 2008Availability: Items available for loan: La bibliothèque des Sciences Exactes et Naturelles [Call number: 511.34 SHE] (1).

7. Category theory applications to algebra, logic and topology. proceedings of the international conference held at gummersbach, july 6-10, 1981 ... in mathematics) / K. H. Kamps, D. Pumplun, W. Thole

by Kamps,, K. H | Pumplun | Tholen,, W.

Edition: 1982th ed.Material type: book Book; Format: print Publisher: [S.l.] Springer 2008Availability: Items available for loan: La bibliothèque des Sciences Exactes et Naturelles [Call number: 512.62 KAM] (1).

8. Classification theory : proceedings of the U.S.-israel workshop on model theory in mathematical logic held in chicago, dec. 15-19, 1985 John T. Baldwin.

by Baldwin, John T.

Edition: 1987th ed.Material type: book Book; Format: print Publisher: [S.l.] Springer 1988Availability: Items available for loan: La bibliothèque des Sciences Exactes et Naturelles [Call number: 511.34 BAL] (1).

9. Cognitive reasoning : a formal approach / Oleg M. Anshakov, Tamas Gergely.

by Anshakov, O. M | Gergely, T. (Tamás).

Material type: book Book; Literary form: not fiction Publisher: Heidelberg ; New York : Springer, ©2010Online access: SpringerLink Availability: Items available for loan: La bibliothèque des Sciences Exactes et Naturelles [Call number: 511.3 ANS] (1).

10. Computational logic and human thinking : how to be artificially intelligent Robert Kowalski.

by Kowalski, Robert.

Material type: book Book; Format: print Publisher: Cambridge New York : Cambridge University Press 2011Availability: Items available for loan: La bibliothèque des Sciences Exactes et Naturelles [Call number: 511.3 KOW] (1).

11. Conference in Mathematical Logic, London '70. Edited by Wilfrid Hodges.

by Conference in Mathematical Logic Bedford College 1970 | Hodges, Wilfrid.

Material type: book Book; Format: print Publisher: Berlin New York Springer-Verlag 1972Availability: Items available for loan: La bibliothèque des Sciences Exactes et Naturelles [Call number: 510.8 CON] (1).

12. Essays in constructive mathematics Harold M. Edwards.

by Edwards, Harold M.

Edition: 2005th ed.Material type: book Book; Format: print Publisher: [S.l.] Springer 2004Availability: Items available for loan: La bibliothèque des Sciences Exactes et Naturelles [Call number: 511.3 EDW] (1).

13. Essays in the philosophy and history of logic and mathematics / Roman Murawski ; foreword [by] Jan Woleński.

by Murawski, Roman | Bedürftig, Thomas | Bondecka-Krzykowska, Izabela | Woleński, Jan.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Amsterdam ; New York, NY : Rodopi, 2010Online access: ebrary Availability: Items available for loan: La bibliothèque des Sciences Exactes et Naturelles [Call number: 510.1 MUR] (1).

14. Essays on the foundations of mathematics by Moritz Pasch ; Stephen Pollard, editor.

by Pasch, Moritz, 1843-1930 | Pollard, Stephen ((Stephen Randall)).

Material type: book Book; Format: print Publisher: Dordrecht New York Springer 2010Availability: Items available for loan: La bibliothèque des Sciences Exactes et Naturelles [Call number: 510.1 PAS] (1).

15. Gentzen calculi for modal propositional logic Francesca Poggiolesi.

by Poggiolesi, Francesca.

Material type: book Book; Format: print Publisher: Dordrecht New York Springer 2011Availability: Items available for loan: La bibliothèque des Sciences Exactes et Naturelles [Call number: 511.3 POG] (1).

16. Gentzen calculi for modal propositional logic / Francesca Poggiolesi.

by Poggiolesi,, Francesca, 1980-.

Material type: book Book; Format: print Publisher: Dordrecht : Springer, [2011]; copyright 2011Availability: Items available for reference: [Call number: XX(33237.1)] (1).

17. Grammatical inference : learning automata and grammars Colin de la Higuera.

by De la Higuera, Colin.

Material type: book Book; Format: print Publisher: Cambridge New York Cambridge University Press 2010Availability: Items available for loan: La bibliothèque des sciences de l'ingéneur [Call number: 005.131 DEL] (1).

18. Higher Order Logic and Hardware Verification. Melham, T.F.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Cambridge Univ Pr 2009Availability: Items available for loan: La bibliothèque des sciences de l'ingéneur [Call number: 621.392 MEL] (1).

19. Hybrid logic and its proof-theory by Torben Braüner.

by Braüner, Torben.

Material type: book Book; Format: print Publisher: Dordrecht New York Springer. ; c2011Availability: Items available for loan: La bibliothèque des Sciences Exactes et Naturelles [Call number: 511.3 BRA] (1).

20. ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 / edited by G.H. Müller, A. Oberschelp, K. Potthoff.

by International Summer Institute and Logic Colloquium University of Kiel, 1974 | Müller, G. H. (Gert Heinz), 1923- | Oberschelp, Arnold | Potthoff, Karl.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Berlin ; New York : Springer-Verlag, 1975Online access: Cover Availability: Items available for loan: La bibliothèque des Sciences Exactes et Naturelles [Call number: 511.3 MUL] (1).

IMIST/CNRST
Angle Allal Al Fassi et Avenue des FAR, Hay Ryad,
BP. 8027 10102 Rabat, Maroc Rabat 8027 Maroc
Tel: (+212) 05 37.56.98.00
CNRST
www.cnrst.ma
IMIST
www.imist.ma