Bibliothèque PPS

Logique et théorie de la démonstration

From Frege to Godel, historical papers in logic, van Heijenhoort,
R. Cori, D. Lascar, Logique Mathematique: cours et exercices. Masson, 2 tomes, 1993.
Advances in Linear Logic Jean-Yves Girard, Yves Lafont, Laurent Regnier Cambridge University Press
Proof theory and logical complexity I Girard Bibliopolis
Introduction to Metamathematics, Kleene, North Holland, 1952
Constructivism in mathematics, tome I Van Dalen, Troelstra North Holland
Proof Theory and Automated Deduction Goubault and Mackie Kluwer academic publishers
Basic Simple Type Theory J. Roger Hindley Cambridge University Press
Selected papers in proof theory G. Mints Bibliopolis
First steps in modal logic, Sally Popkorn, Cambridge University Press.
Subsystems of Second Order Arithmetic, Stephen G. Simpson, Springer 1999
Varieties of Constructive Mathematics, Bridges and Richman, LMS 1987
Introduction to higher-order categorical logic Lambek and Scott Cambridge University Press
Metamathematics, machines and Godel proof, N. Shankar, Cambridge tracts in theoretical computer science 38, Cambridge University Press
The lambda-calculus, its syntax and semantics, Henk Barendregt, North Holland, Second Edition, 1984.
Categorical Logic and Type Theory (Studies in Logic and the Foundations of Mathematics, V. 141) by B. Jacobs (Editor) Hardcover (December 1998) Elsevier Science Ltd; ISBN: 0444501703
Logique, reduction, resolution, R. Lalement, Masson ISBN 2 225 82104 6
Lambda calcul: types et modeles Jean-Louis Krivine Masson ISBN 2 225 82091 0
Theorie des ensembles J.-L. Krivine Cassini
Logique III. Methodes pour l'IA. Paul Gochet, Pascal Gribomont, Andre Thayse, Hermes.
Logique et fondements de l'informatique. Richard Lassaigne, Michel de Rougemont. Hermes.
Combinatory Logic Vol. I Curry and Feys North-Holland.
Combinatory Logic Vol. II Curry, Hindley, Seldin North-Holland.

Sémantique

Games and Full Abstraction for a Functional Metalanguage with Recursive Types. Guy McCusker. Springer-Verlag ISBN 3-540-76255-8
Axiomatic Domain Theory in Categories of Partial Maps Marcelo Fiore Cambridge University Press
Applications of Categories in Computer Science M. P. Fourman, P. T. Johnstone, A. M. Pitts Paperback, Cambridge University Press
Domains and Lambda-calculi Roberto Amadio and Pierre-Louis Curien Cambridge University Press 1998
Practical Foundations of Mathematics Paul Taylor Cambridge University Press
Semantics and Logics of Computation Andrew M. Pitts, P. Dybjer, eds Cambridge University Press
Iteration theories, S. Bloom and Z. Esik, EATCS Monographs on Theoretical Computer Science, Springer 1993.
Stoy, Denotational semantics: the Scott-Strachey approach to programming language theory, MIT Press, 1977.
Isomorphisms of types Roberto di Cosmo Birkhauser ISBN 0-8176-3763-X
Topology via Logic Vickers Cambridge University Press
Stone spaces P. Johnstone Cambrige University Press
Idempotency Jeremy Gunawardena, Michael F. Atiyah, J. Taylor eds Cambridge University Press
Reasoning About Knowledge, by Ronald Fagin, Joseph Halpern, Yoram Moses and Moshe Vardi, MIT Press

Compilation

COMPILATEURS PRINCIPES,TECHNIQUES ET OUTILS. AHO - INTEREDITIONS. ISBN : 2-7296-0710-0 (03/2000) 875 p.
Compilers, Principles, Techniques and Tools Alfred Aho, Ravi Sethi, Jeffrey Ullman Addison Wesley Publishing, ISBN 0-210-10088-6
Compiling with continuations A. Appel Cambridge University Press

Vérification

Introd. aux methodes formelles. J.F. Monin. Hermes editeur ISBN 2-7462-0140-2
Verification de logiciels. Philippe Schnoebelen. Vuibert editeur.
Principles of program analysis F. Nielson, H.R. Nielson, C. Hankin Springer

Concurrence

The Book of traces, V. Diekert et G. Rozenberg eds, World Scientific, 1995.
The Pi-calculus A theory of Mobile Processes Davide Sangiorgi, David Walker. Cambridge University Press.
Communication and concurrency R. Milner Prentice-Hall
Communication and mobile systems: the pi-calculus Robin Milner Cambridge University Press
Concurrent Programming: principles and pratice G.R. Andrews,The Benjamin/Cummings Pub. Comp, 1991

Langages de programmation

M. Mauny, X. Leroy, Manuel de reference du langage CAML, InterEdition 1993
Andrew Gordon. Functional Programming and Input/Output. PhD dissertation, University of Cambridge, 1992. Published in the series Distinguished Dissertations in Computer Science, Cambridge University Press, 1994.
Comparative Programming Languages, Robert Clark, Addison Wesley. Third edition , 2001.
Theories of Programming Languages John C. Reynolds Cambridge University Press
The Optimal Implementation of Functional Programming Languages Andrea Asperti and Stefano Guerrini Cambridge University Press 1998
Higher Order Operational Techniques in Semantics Andrew D. Gordon, Andrew M. Pitts eds Cambridge University Press
Two-Level Functional Languages Flemming Nielson, Hanne Riis Nielson Cambridge University Press
Algol-like Languages, Volume 1: 1997 Approx. 286 pp. Hardcover $49.50 ISBN 0-8176-3880-6 Volume 2: 1997 Approx. 348 pp. Hardcover $69.50 ISBN 0-8176-3937-3 Peter O'Hearn and Robert Tennent editors, Progress in Theoretical Computer Science. Birkhauser ISBN 0-8176-3936-5
Semantics of Programming Languages C. Gunter MIT Press ISBN 0-262-07143-6
Haskell: The Craft of Functional Programming, Second Edition, Simon Thompson, Addison-Wesley, 507 pages, paperback, 1999. ISBN 0-201-34275-8.
The formal semantics of programming languages Glynn Winskel MIT press 1993
Essentials of programming languages D.P. Friedman, M. Wand et C.T. Haynes MIT Press, 1992.
Foundations for programming languages J. Mitchell MIT Press ISBN 0-262-13321-0
PROGRAMMING LANGUAGES CONCEPTS AND CONSTRUCTS 2eme ED. SETHI - ADDISON WESLEY. ISBN : 0-201-59065-4 (10/1995) 640 p.
The art of PROLOG Leon Sterling and Ehud Shapiro MIT Press ISBN 0-262-19250-0
Algebraic Semantics of Imperative Programs, J. Goguen and G. Malcolm, MIT Press, ISBN 0-262-07172-X
SYSTEMES MULTI-AGENTS VERS UNE INTELLIGENCE COLLECTIVE. FERBER - INTEREDITION. ISBN : 2-7296-0665-3 (10/1995) 522 p.
GARBAGE COLLECTION. JONES - WILEY INC. ISBN : 0-471-94148-4 (06/1996) 377 p.
DESIGN PATTERNS - VUIBERT GAMMA & HELM & JOHNSON & VLISSIDES ISBN:2-7117-8644-7 (7/1999) 480p
ALGORITHMS : A FUNCTIONAL APPROACH - ADDISON WESLEY LAPALME - RABBI ISBN 0-201-59604 (08/1999)
INTRODUCTION A PYTHON - O'REILLY Mark LUTZ & David ACHER ISBN : 2-84177-089-3 (02/2000) 400p
Le langage Java, concepts et pratique, Irene Charon, Editions Hermes.

Ada

ADA 95 PROBLEM SOLVING AND PROGRAM DESIGN. FELDMAN ADDISON WESLEY ISBN: 06201-36123-X (7/1999) 784p
PROGRAMMER EN ADA 95. BAMES - VUIBERT ISBN:267117-8651-X (1/2000) 774p

Langages C et C++

MODERN COMPILER IMPLEMENTATION IN C. APPEL - CAMBRIDGE UNIVERSITY PRESS. ISBN : 0-521-58390-X (03/1998) 246 p.
METHODOLOGIE DE LA PROGRAMMATION EN C, 3EME EDITION. BRAQUELAIRE - DUNOD - ISBN: 2100047825 (1998) 576p
L'ESSENTIEL DU C++ (3eme ed) - VUIBERT LIPPMAN - LAJOIE ISBN 2-7117-8652-8 (09/2000) 1096p
C A REFERENCE MANUAL 4TH EDITION. HARBISON - PRENTICE HALL. ISBN : 0-13-326224-3 (11/1994) 480 p.

Langages objets

A Theory of Objects Martin Abadi and Luca Cardelli. Springer, ISBN 0-387-94775-2.
Object-oriented programming: a unified foundation Giuseppe Castagna Birkhauser ISBN 0-8176-3905-5
LANGAGES ET MODELES A OBJETS DUCOURNAU - EUZENAT - MASINI - NAPOLI Collection DIDACTIQUE - INRIA ISBN: 2-7261-1131-9 (1998) 527p
Theoretical aspects of object-oriented programming C. Gunter MIT Press ISBN 0-262-07155-X
CONCEPTION ET PROGRAMMATION ORIENTEE OBJET - MEYER EDITIONS EYROLLES ISBN:2-212-09111-7 (2000) (1220p)

Scheme and Lisp

Recueils de petits problemes en Scheme. L. Moreau, C. Queinnec, D. Ribbens, M. Serrano. Springer.
The little Schemer, Felleisen and Friedman,
The seasoned Schemer, Felleisen and Friedman,
PROGRAMMER AVEC SCHEME. CHAZARIN - ITP/VUIBERT. ISBN : 2-84180-131-4 (09/1996) 768 p.
LANGAGES LISP. QUEINNEC - INTEREDITION. ISBN : 2-7296-0549-5 (10/1994) 480 p

LANGAGE CAML. WEIS - DUNOD. ISBN : 2-10-004383-8 (07/1999) 370 p.
ML for the working programmer L. Paulson Cambridge University Press ISBN 0 521 57050 6
DEVELOPPEMENT D'APPLICATIONS AVEC OBJECTIVE CAML - O'REILLY. Emmanuel Chailloux, Pascal Manoury, Bruno Pagano ISBN : 2-84177-121-0 (04/2000) 700p
The little MLer, Felleisen and Friedman,
Seize problemes d'informatique. B. Petazzoni. Springer.
CONCURRENT PROGRAMMING IN ML - CAMBRIDGE UNIVERSITY PRESS REPPY ISBN 0-521-48089-2 (07/1999)
The definition of Standard ML Tofte, Milner, Harper MIT Press
MODERN COMPILER IMPLEMENTATION IN ML. APPEL - CAMBRIDGE UNIVERSITY PRESS. ISBN : 0-521-58775-1 (06/1998) 400 p.
APPROCHE FONCTIONNELLE DE LA PROGRAMMATION. COUSINEAU - EDISCIENCE INTERNATIONAL. ISBN : 2-84074-114-8 (04/1995) 428 p

Java

JAVA DE L'ESPRIT A LA METHODE 2EME EDITION. BONJOUR - VUIBERT. ISBN : 2-7117-8647-1 (09/1999) 442 p.
The Java tutorial, third edition. M. Campione, K. Walrath, A. Huml. Addison Wesley.
CONCURRENT PROGRAMMING IN JAVA 2ND EDITION. LEA - ADDISON WESLEY. ISBN : 0-201-31009-0 (12/1999)
AU COEUR DE CORBA AVEC JAVA - VUIBERT JEROME DANIEL ISBN:2-7117-8659-5 (4/2000) 460p
Multithreaded programming with JAVA technology. LEWIS Prentice Hall, 2000 - ISBN : 0-13-017007-0
MODERN COMPILER IMPLENTATION IN JAVA. APPEL - CAMBRIDGE UNIVERSITY PRESS. ISBN : 0-521-58388-8 (03/1998) 558 p.
A little Java, a few patterns, Felleisen and Friedman,

Sytèmes

Distributed systems: concepts and design, 2nd edition G. Coulouris, J. Dollimore et T. Kindberg Addidson Wesley, 1995
J. M. RIFFLET UNIX: 99 exercices corriges
J.M. RIFFLET La programmation sous UNIX Troisieme edition parue en 1993, 630 pages, EdiScience
Reseaux, cours et exercices. Andrew Tanenbaum. Dunod editeur.
PROGRAMMATION LINUX 2.0 - EYROLLES CARD - DUMAS - MEVEL ISBN: 2-212-09183-4 (6/2000)
Introduction aux systemes temps reels. Bonnet HERMES, 1999 - ISBN : 2-7462-0016-3
Operating systems: internals and design principles, 3rd edition W. Stallings Prentice Hall, 1998 - ISBN : 0-13-917998-4
Applied operating systems concepts, 1st edition A. Silberschatz, P. Galvin et G. Gagne Wiley - 2000
Distributed algorithms Lynch Morgan Kaufmann, 1996 - ISBN : 1-55860-348-4
Distributed operating systems. Doreen Galli- Prentice Hall. ISBN : 0-13-079843-6 (09/1999) 496 p.
Operating systems: a modern perspective. 2nd edition Nutt Addison Wesley, 1999 - ISBN : 0-201-61251-8
Real-time programming: a guide to 32-bit embedded development. Grehan Addison Wesley. 1999 - ISBN : 0-201-48540-0
Peter Norton's complete guide to Windows NT WORKSTATION 4 2ND EDITION. NORTON - SAMS. ISBN : 0-672-31373-1
Pthreads programming. Nichols O'REILLY,1996 - ISBN : 1-56592-115-1
Design and implementation of the 4.4 BSD operating system. McKusick Addison Wesley, 1996 - ISBN : 0-201-54979-4

Outils

IPV6 THEORIE ET PRATIQUE 2EME EDITION. CIZAULT - O'REILLY FRANCE. ISBN : 2-84177-085-0 (04/1998) 326 p.
CORBA: des concepts a la pratique J-M. Geib, C. Gransart et P. Merle InterEditions, 1997
OPEN GL 1.2 - Campus Press WOO & NEIDER & DAVIS & SHREINER ISBN 2-7440-0841-9 (05/2000) 634p
MYSQL AND MSQL. YARGER - O'REILLY. ISBN : 1-56592-434-7 (09/1999) 500 p.
CVS, CONFIGURATION ET MISE EN OEUVRE - O'REILLY. ISBN : 2-84177-057-5 (07/2000) 205 p.
APACHE INSTALLATION ET MISE EN OEUVRE 2ED. LAURIE - O'REILLY FRANCE. ISBN : 2-84177-080-X (10/1999) 400 p.
LEX et YACC - O'REILLY LEVINE ISBN 1-56592-000-7 (01/1993) 400p
MANAGING PROJECT WITH MAKE - O'REILLY ORAM ISBN 0-937175-90-0 (01/1997) 178 p

Latex Emacs Html Xml Ipv6

3 exemplaires de Christian Rolland, LaTeX par la pratique, O'Reilly
LATEX reference manual. Leslie Lamport. Addison Wesley
LATEX COMPANION. GOOSSENS - ADDISON WESLEY. ISBN : 0-201-54199-8 (08/1994) 528 p. 3 volumes.
LATEX WEB COMPANION: INTEGRATING TEX, HTML, AND XML. GOOSSENS - ADDISON WESLEY. ISBN : 0-201-43311-7 (08/1999) 522 p.
LATEX GRAPHICS COMPANION. GOOSSENS - ADDISON WESLEY. ISBN : 0-201-85469-4 (05/1997) 480 p.
INTRODUCTION A GNU EMACS. CAMERON - O'REILLY FRANCE. ISBN : 2-84177-015-X (04/1997) 462 p.
DYNAMIC HTML THE DEFINITIVE REFERENCE. GOODMAN - O'REILLY. ISBN : 1-56592-494-0 (09/1998) 1072p
Essential XML. Beyond Markup. Don Box, Aaron Skonnard, John Lam. Addison Wesley.
Data on the web. S. Abiteboul, P. Buneman, D. Suciu. Morgen Kaufmann editeur.
IPv6 : Théorie et pratique Gisèle Cizault ISBN : 2841771393 O'Reilly

Calculabilité et autres

Computability in Analysis and Physics, Pour-El and Richards, Springer-Verlag 1989
Constructive Analysis, Bishop, Bridges, Springer 1985
Computability, Weihrauch, Springer, 1987
Lectures on Constructive Mathematical Analysis, Kushner, AMS 1973
Theory of Recursive Functions and Effective Computability, Rogers, Mc Graw Hill
Term rewriting and all that Franz Baader and Tobias Nipkow, Cambridge University Press 1998 ISBN 0-521-45520-0
Formal methods in circuit design, V. Stavidrou Cambridge tracts in theoretical computer science 37, Cambridge University Press
Rewriting Techniques and Applications, 1991 Springer
Finite model theory Ebbinghaus, Flum Springer
Descriptive complexity Immermann Springer
The classical decision problem, Borger, Gr\�adel, Gurevitch, Springer-Verlag
The uncertainty reasoner's guide, J.B. Paris, Cambridge Tracts in Computer Science 39
AI for Games and Animation, John David Funge, isbn 1-56881-103-9 year=1999, price= $38, publisher=A K Peters, Ltd., pages=288, Hardcover.

Mathématiques générales

General Topology, Bourbaki. chapters 1--4 Springer
General Topology, Bourbaki. chapters 5--10 Springer
Quantum invariants of knots and 3-manifolds V.G. Turaev de Gruyter (Berlin)
General topology JL Kelley Graduate texts in Mathematics 27 Springer ISBN 3 540 90125 6
R.V. Kadison and J.R. Ringrose, Fundamentals of the theory of operator algebras (I), Acad. Press, 1983.
R.V. Kadison and J.R. Ringrose, Fundamentals of the theory of operator algebras (II), Acad. Press, 1986.
Banach modules and functors on categories of banach spaces J. Cigler, V. Losert, P. Michor Lecture notes in pure and applied mathematics 46 Marcel Dekker 1979 ISBN 0 8247 6867 1
Foundations of quantum groups Shahn Majid Cambridge University Press ISBN 0 521 46032 8
Graph theory R Diestel Graduate texts in Mathematics 173 Springer ISBN 0 387 98210 8
A history of algebraic and differential topology 1900-1960 Jean Dieudonne Birkhauser ISBN 3 7643 3388 X
Calculus of fraction and homotopy theory P. Gabriel and M. Zisman Springer 1967
Categories for the working mathematician S. Mac Lane Springer
Sketches of an Elephant: a Topos Theory Compendium (volumes 1 and 2) Peter Johnstone Oxford University Press. ISBN 0-19-961138-6.
Quantum groups C. Kassel Graduate texts in mathematics 155 Springer
Conceptual mathematics : a first introduction to categories Lawvere, F. William Cambridge University Press
Locally Presentable and Accessible Categories J. Adamek, J. Rosicky Cambridge University Press
Combinatorial species and tree-like structures F. Bergeron, G. Labelle, P. Leroux Cambridge University Press, 1994.(Encyclopedia of mathematics and its applications).
Algebraic Set Theory A. Joyal, I. Moerdijk, Cambridge University Press
Categories, Allegories Freyd and Scedrov North Holland
Sheaves in Geometry and Logic Mac Lane - Moerdijk Springer
Principes d'analyse mathematique Walter Rudin Ediscience
Mathematics Unlimited, 2001 and beyond Bjorn Engquist and Wielfried Schmid, eds. Springer
Mathematical topics between classical and quantum mechanics N. P. Landsman, Springer 1998.
Hilbert Courant Constance Reid Springer.

Handbooks

Handbook of logic in computer science I, II, III, IV, V Samson Abramsky, Dov Gabbay and Maibaum editors, Oxford Science Publications ISBN 0-19-853735-2
Handbook of formal languages 1,2,3 G. Rozenberg and A. Salomaa editors Springer ISBN 3-540-61486-9
Handbook of Logic in Artificial Intelligence and Logic Programming vol I, II, III, IV, V Dov Gabbay, C. Hogger and J. Robinson Oxford Science Publications 0-19-852745-X
Handbook of categorical algebra 1,2,3 Borceux, Francis Cambridge University Press, 1994.(Encyclopedia of mathematics and its applications).
Handbook of combinatorics R Graham, M Grotschel and L Lovasz, editors North Holland 1995
A handbook of mathematical logic, North Holland, 1980.
A handbook of proof theory, North Holland, 1998.
The art of computer programming I, II et III Donald Knuth Addison-Wesley

Conférences

Category Theory and Computer Science

Category Theory and Computer Science : CTCS 91, Paris, France: Proceedings Lecture Notes in Computer Science 530 Springer Verlag; ISBN: 3 540 54495
Category Theory and Computer Science : CTCS 95, Cambridge, United Kingdom: Proceedings Lecture Notes in Computer Science 953 Springer Verlag; ISBN: 3 540 60164 3
Category Theory and Computer Science : 7th International Conference, CTCS 97 Santa Margherita Ligure Italy, September 4-6, 1997 : Proceedings) Paperback (September 1997) Springer Verlag; ISBN: 3 540 63455 X

ICALP

Automata, Languages and Programming ICALP'91 proceedings Lecture Notes in Computer Science 510 Springer ISBN 3 540 54233 7
Automata, Languages and Programming ICALP'93 proceedings Lecture Notes in Computer Science 700 Springer ISBN 3 540 56939 1
Automata, Languages and Programming ICALP'94 proceedings Lecture Notes in Computer Science Springer
Automata, Languages and Programming ICALP'95 proceedings Lecture Notes in Computer Science 944 Springer ISBN 3 540 60084 1
Automata, Languages and Programming ICALP'96 proceedings Lecture Notes in Computer Science 1099 Springer ISBN 3 540 61440 0
Automata, Languages and Programming ICALP'97 proceedings Lecture Notes in Computer Science Springer
Automata, Languages and Programming ICALP'98 proceedings Lecture Notes in Computer Science 1443 Springer ISBN 3 540 64781 3

Computer Science and Logic

Computer Science Logic CSL'92 proceedings Lecture Notes in Computer Science 702 Springer ISBN 3 540 56992 8
Computer Science Logic CSL'93 proceedings Lecture Notes in Computer Science Springer
Computer Science Logic CSL'94 proceedings Lecture Notes in Computer Science 933 Springer ISBN 3 540 60017 5
Computer Science Logic CSL'95 proceedings Lecture Notes in Computer Science 1092 Springer ISBN 3 540 61377 3
Computer Science Logic CSL'96 proceedings Lecture Notes in Computer Science Springer
Computer Science Logic CSL'97 proceedings Lecture Notes in Computer Science 1414 Springer ISBN 3 540 64570 5

Typed Lambda Calculus and Applications

Typed Lambda Calculus and Application TLCA'93 proceedings Lecture Notes in Computer Science 664 Springer ISBN 3 540 56517 5
Typed Lambda Calculus and Application TLCA'95 proceedings Lecture Notes in Computer Science 902 Springer ISBN 3 540 59048 X
Typed Lambda Calculus and Application TLCA'97 proceedings Lecture Notes in Computer Science Springer
Typed Lambda Calculus and Application TLCA'99 proceedings Lecture Notes in Computer Science Springer

TYPES

Types for Proofs and Programs TYPES'93 proceedings Lecture Notes in Computer Science 806 Springer ISBN 3 540 58085 9
Types for Proofs and Programs TYPES'94 proceedings Lecture Notes in Computer Science 996 Springer ISBN 3 540 60579 7
Types for Proofs and Programs TYPES'96 proceedings Lecture Notes in Computer Science 1512 Springer ISBN 3 540 65137 3
Categorical methods in Computer Science Lecture Notes in Computer Science 393 Springer ISBN 3 540 51722 7
Constructivity in computer science Lecture Notes in Computer Science 613 Springer ISBN 3 540 55631 1

Ouvrages sortis de la bibliothèque ou non retrouvés

Non-well founded sets, Peter Aczel, Center for the Study of Language and Information, ISBN 0-937073-21-0
Collected papers of Gerhard Gentzen - M E Szabo (ed.) - Studies in Logic (Amsterdam, 1969).
Godel, K. Collected Papers, Vol. 1: Publications 1929-1936. Oxford, England: Oxford University Press, 1986.
Godel, K. Collected Papers, Vol. 2: Publications 1938-1974. Oxford, England: Oxford University Press, 1989.
Godel, K. Collected Papers, Vol. 3: Unpublished Essays and Lectures. Oxford, England: Oxford University Press, 1995.
Foundations of Object-Oriented Programming Languages Types and Semantics - Kim B. Bruce - The MIT Press ISBN 0-262-02523-X
Mathematical Logic. - J. R. Schoenfield. - Addison-Wesley Publishing Company, 1967.
An introduction to Independence for analysts - H. D. Dales, W. H. Woodin - Cambridge University Press, 1987.
An introduction to independence proof - K. Kunen - North-Holland 1980.
Model Theory - CC. Chang and H. J. Keisler - North Holland 1990
Cours de theorie des modeles - B. Poizat - Nur al-Mantiq wal-Ma'rifah, 1985, distribue par Offilib.
Les theoremes d'incompletude de Godel - R. Smullyan - Masson, 1993.
Basic Proof theory - Troelstra, Schwichtenberg - Cambridge tracts in Theoretical Computer Science, Cambridge University Press, revised edition 2000.

Game Theory, by Martin Osborne and Ariel Rubinstein, MIT Press.
Quantum mechanics, algebras and distribution D.A. Dubin and M. Hennings Longman, 1990
J.M. RIFFLET La communication sous UNIX Deuxieme edition parue en 1995, 438 pages, EdiScience
J. M. RIFFLET Programming under ChorusOS.
Introduction a la logique Theorie de la demonstration David, Nour, Raffalli. Dunod.
Logic for Computer Science Jean Gallier John Wiley & Sons
Handbook of the Geometry of Banach Spaces volume 1 Edited by W.B. Johnson and J. Lidenstrauss Elsevier ISBN 0-444-82842-7
Troelstra, lectures in linear logic, CSLI Stanford, Lecture Notes Series nr 29, 1992.
E. Clarke, O. Grumberg, D. Long, Model Checking, MIT Press 1999.
Logique et complexite. Richard Lassaigne, Michel de Rougemont. Hermes.
R. Motwani, P. Ragahavan, Randomized algorithms, Cambridge University Press, 1995
W. Hodges, Model Theory, Cambridge University Press 1993
K. Kunen, Set theory, Academic Press 1980
A. Levy Basic Set theory, Springer Verlag 1979
Y. Moschovakis, Descriptive Set Theory, North Holland 1980
Complex analysis 4ed Serge Lang ISBN: 0387985921 Publisher: Addison-Wesley Pub. Co.
Algebra 3ed Serge Lang ISBN: 038795385x Publisher: Springer-Verlag
R.V. Kadison and J.R. Ringrose, Fundamentals of the theory of operator algebras (III), Acad. Press, 1991.
Bourbaki. Theorie spectrale Herman.
W. Rudin, Functional analysis, McGraw-Hill, 1989.
Scott Meyer Effective C++ Addison Wesley
Scott Meyer More Effective C++ Addison Wesley
IPv6: The Next Generation Protocol ~Stewart S. Miller Butterworth-Heinemann Paperback - November 1997
P. Tauvel Maths generale pour l'agregation, 2eme edition, Edition Masson.
AI Game Programming Wisdom Steve Rabin ISBN 1584500778 Charles River Media
3d games Real-time rendering and software technology - volume one. Alan Watt, Fabio Policarpo. ISBN 0-201-61921-0 Addison-Wesley
Design Patterns, Erich Gamma, Richard Helm, Ralph Johnson, John Vlissides. Hardcover: 395 pages ; Dimensions (in inches): 1.20 x 9.52 x 7.68 Publisher: Addison-Wesley Pub Co. ISBN: 0201633612; 1st edition (January 15, 1995).
STRUCTURE ET INTERPRETATION DES PROGRAMMES INFORMATIQUE. ABELSON - INTEREDITION. ISBN : 2-7296-0231-5 (03/1992) 496 p.
PROGRAMMATION LOGIQUE PAR CONTRAINTES - ELLIPSE FAGES ISBN 2-7298-4613-1 (08/1996)

Livres commandés et non disponibles

Logique

Foundations of constructive Mathematics, Bishop, Mc Graw Hill, 1967
Constructivism in mathematics, tome II Van Dalen, Troelstra North Holland
Proofs and Types, Girard Cambridge University Press
Intuitionism, an Introduction, Heyting, North Holland, 1956
The foundations of intuitionistic Mathematics, Kleene, North Holland, 1965
Intuitionistic type theory P. Martin-Lof Bibliopolis
Demonstration automatique Michael Rusinowitch Intereditions ISBN 2-7296-0263-1
Constructive real numbers and constructive function spaces, Shanin, AMS 1962

Catégories et sémantique

Categories, Types and Structures Andrea Asperti et Giuseppe Longo MIT Press, ISBN 0-262-01125-5
* autonomous categories Michael Barr Lecture Notes in Mathematics 752 Springer ISBN 3 540 09563 2
Toposes, triples and theories, Michael Barr et Charles Wells Springer
Categories for Computer science Michael Barr et Charles Wells Prentice-Hall ISBN 0-13-120486-6
A theory of lattices. Birkhoff, AMS Colloquium Publications, vol 25, Providence, 1967.
Categorical combinators, sequential algorithms and functional programming, Curien, Birkhauser
Sheaves and Logic Fourman and Scott Lecture Notes in Mathematics 753, Springer 1979
Abelian categories Freyd Harper and Row, 1964
A comprendium of continuous lattices Gierz et al. Springer
Models of sharing graphs: a categorical semantics of let and letrec M. Hasegawa distinguished dissertation series, Springer 1999
Topos theory, Johnstone Academic press 1977.
Basic concepts of enriched category theory M. Kelly Cambridge University Press
Algebraic theories A. Manes, Springer 1976
Applications of categories in Computer Science, LMS Lecture Notes 177, Cambridge University Press, 1992.
Introduction to categories, homological algebra and sheaf cohomology Jan Strooker Cambridge University Press ISBN 0 521 21699 0
Applications of Categories in Computer Science LMS lecture notes 177, Cambridge University Press 1992.

Programmes

Structure et Interpretation des programmes informatiques H. Abelson, Gerald Sussman and Julie Sussman, Intereditions. ISBN 2-7296-0231-5
Abstract interpretation and declarative languages Abramsky and Hankin eds Ellis Horwood
Introduction to functional programming Richard Bird and Philip Wadler Prentice Hall ISBN 0-13-484189-1
Partial evaluation and mixed computation D. Bjorner, A. Ershov and N. Jones eds North Holland
Approche fonctionnelle de la programmation Guy Cousineau amd Michel Mauny Ediscience International ISBN 2-84074-114-8
Tilings and Patterns B. Grunbaum et G.C. Shephard Wiley ans sons, 1987
Logical foundations of functional programming G. Huet editor Addison Wesly Publishing ISBN 0-201-17234-8
The implementations of programming languages Simon Peyton Jones Prentice Hall ISBN 0-13-453333-X
Denotational Semantics, a methodology for program development D.A. Schmidt Allyn et Bacon, 1986
Ramsey theory, G Moses, Vardi MIT Press

Handbooks

Handbook of logic in computer science VI Samson Abramsky, Dov Gabbay and Maibaum editors, Oxford Science Publications ISBN 0-19-853735-2
Handbook of theoretical Computer Science A and B Jan van Leeuven Editor MIT Press ISBN 0 444 88075 5
Handbook of Logic in Artificial Intelligence and Logic Programming vol VI Dov Gabbay, C. Hogger and J. Robinson Oxford Science Publications 0-19-852745-X

Conférences

CTCS

Category Theory and Computer Science : Manchester, UK, 1989 : Proceedings Lecture Notes in Computer Science 389 Springer Verlag ISBN 3 540 51662 X
Category Theory and Computer Science : CTCS 93 Lecture Notes in Computer Science Springer Verlag

ICALP

Automata, Languages and Programming ICALP'92 proceedings Lecture Notes in Computer Science 623 Springer ISBN 3 540 55719 9