skip to main content
Langue :
Afficher les résultats avec :

Résultats 1 - 10 sur 35  pour Tout le catalogue

résultats 1 2 3 4 next page
N'afficher que
Filtré par : sujet: Théorie des ensembles supprimer
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Sets for mathematics
Material Type:
Livre
Ajouter au Panier

Sets for mathematics

Lawvere, Francis William (1937-...) ; Rosebrugh, Robert (1948-...)

Cambridge [etc.]. Cambridge University Press, 2003

Disponible(->>)

2
Problems in set theory, mathematical logic and the theory of algorithms
Material Type:
Livre
Ajouter au Panier

Problems in set theory, mathematical logic and the theory of algorithms

Lavrov, Igor ; Maksimova, Larisa ; Corsi, Giovanna (Ed.) ; Shehtman, Valentin (Trad.)

Appartient à la collection : The University series in mathematics, ISSN 1568-2676

New York (N.Y.). Boston (Mass.). Dordrecht. Kluwer Academic/Plenum Publishers, cop. 2003

Disponible(->>)

3
Initiation au raisonnement mathématique : logique et théorie des ensembles
Material Type:
Livre
Ajouter au Panier

Initiation au raisonnement mathématique : logique et théorie des ensembles

Dupin, Jean-Claude ; Valein, Jean-Luc

Appartient à la collection : Flash U, 13, ISSN 0985-9306

Paris. A. Colin, DL 1993, cop. 1993

Disponible(->>)

4
Logic, induction and sets
Material Type:
Livre
Ajouter au Panier

Logic, induction and sets

Forster, Thomas (philosophe) (1948-...)

Appartient à la collection : London Mathematical Society student texts, 56, ISSN 0963-1631

New York. Cambridge University Press, copyright 2003

Disponible(->>)

5
⊨ISILC Logic Conference : Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974
Material Type:
ebook
Ajouter au Panier

⊨ISILC Logic Conference : Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974

Potthoff, Klaus (Ed.) ; Müller, Gert Heinz (mathématicien) (1923-...) (Ed.) ; Oberschelp, Arnold (Ed.)

Lecture Notes in Mathematics ; 499

Berlin [etc.]. Springer, 201. ?

6
Reasoning about theoretical entities
Material Type:
Livre
Ajouter au Panier

Reasoning about theoretical entities

Forster, Thomas (philosophe) (1948-...)

Appartient à la collection : Advances in logic, v. 3, ISSN 1793-1088

River Edge, N.J.. World Scientific, cop. 2003

Disponible(->>)

7
Foundations of logic and mathematics : applications to computer science and cryptography
Material Type:
Livre
Ajouter au Panier

Foundations of logic and mathematics : applications to computer science and cryptography

Nievergelt, Yves (1954-...)

Boston. Birkhäuser, cop. 2002

Disponible(->>)

8
Intuitionistic type theory
Material Type:
Livre
Ajouter au Panier

Intuitionistic type theory

Martin-Löf, Per (1942-...) ; Sambin, Giovanni

Appartient à la collection : Studies in proof theory, 1

Napoli. Bibliopolis, cop. 1984

Disponible(->>)

9
A theory of sets
Material Type:
Livre
Ajouter au Panier

A theory of sets

Morse, Anthony Perry (1911-1984) ; McMinn, Trevor J (1921-2013) (Préf.)

Appartient à la collection : Pure and applied mathematics (New York. 1949), XVIII, ISSN 0079-8169

New York. London. Academic Press, 1965

Disponible(->>)

10
Comprendre les méthodes formelles : panorama et outils logiques
Material Type:
Livre
Ajouter au Panier

Comprendre les méthodes formelles : panorama et outils logiques

Monin, Jean-François ; Huet, Gérard (informaticien) (1947-...) (Préf.)

Appartient à la collection : Collection technique et scientifique des télécommunications, ISSN 0221-2579

Paris. Milan. Barcelone. Masson, impr. 1996, cop. 1996

Disponible(->>)

Résultats 1 - 10 sur 35  pour Tout le catalogue

résultats 1 2 3 4 next page

Refine Search Results

N'afficher que

  1. Ressources en ligne (14)

Affiner vos résultats

Type de ressource 

  1. Livres  (21)
  2. ebooks  (14)
  3. Autres open sub menu

Localisation 

  1. Descartes  (6)
  2. Descartes - CDR  (1)
  3. Monod  (16)
  4. Autres open sub menu

Sujet 

  1. Logique mathématique  (34)
  2. Logic, Symbolic and mathematical  (19)
  3. Set theory  (11)
  4. Mathematics  (8)
  5. Intelligence artificielle  (7)
  6. Informatique  (7)
  7. Artificial Intelligence (incl. Robotics)  (6)
  8. Mathematical Logic and Formal Languages  (6)
  9. Computer science  (6)
  10. Artificial intelligence  (6)
  11. Mathematical Logic and Foundations  (6)
  12. Computation by Abstract Devices  (4)
  13. Mathématiques  (4)
  14. Computer vision  (4)
  15. Théorie des modèles  (4)
  16. Image Processing and Computer Vision  (4)
  17. Database management  (4)
  18. Traitement d'images  (4)
  19. Pattern recognition  (3)
  20. Théorie de la démonstration  (3)
  21. Perception des structures  (3)
  22. Optical pattern recognition  (3)
  23. Ordinateurs. Programmation  (2)
  24. Algorithmes  (2)
  25. Mathematics, general  (2)
  26. Génie logiciel  (2)
  27. Algèbre  (2)
  28. Catégories (mathématiques)  (1)
  29. Logiciels. Développement  (1)
  30. Analyse combinatoire  (1)
  31. Induction (logique)  (1)
  32. B (Computer program language)  (1)
  33. Monoïdes  (1)
  34. Information systems  (1)
  35. Algebra  (1)
  36. Cryptographie  (1)
  37. Management information systems  (1)
  38. Infinite  (1)
  39. Logique floue  (1)
  40. Programmation logique  (1)
  41. Algorithm Analysis and Problem Complexity  (1)
  42. Exploration de données  (1)
  43. Logic, Symbolic and mathematical. Congresses  (1)
  44. Raisonnement. Mathématiques  (1)
  45. Récursivité, Théorie de la  (1)
  46. Logique mathématique. Guides pratiques  (1)
  47. Programmation  (1)
  48. Aggregates  (1)
  49. Model theory  (1)
  50. Intuitionistic mathematics  (1)
  51. Categories (Mathematics)  (1)
  52. Logique. Philosophie  (1)
  53. B (méthode formelle)  (1)
  54. Computer software  (1)
  55. Business Information Systems  (1)
  56. Infini  (1)
  57. Réécriture, Systèmes de (informatique)  (1)
  58. Point fixe, théorie du  (1)
  59. Programming (Electronic computers)  (1)
  60. Forcing (mathématiques)  (1)
  61. Axiomatic set theory  (1)
  62. Proof theory  (1)
  63. Automates mathématiques, Théorie des  (1)
  64. Leśniewski, Stanisław (1886-1933)  (1)
  65. Information Systems Applications (incl.Internet)  (1)
  66. Calcul formel. Informatique  (1)
  67. Modèles mathématiques  (1)
  68. Gödel, Théorème de  (1)
  69. Mathématiques. Philosophie  (1)
  70. Langages formels  (1)
  71. Informatique douce  (1)
  72. Nombres, Théorie des  (1)
  73. Recursion theory  (1)
  74. Logique  (1)
  75. Autres open sub menu

Auteur 

  1. Skowron, Andrzej  (3)
  2. Richter, Michael M  (2)
  3. Jensen, Ronald Björn  (2)
  4. Grzymala-Busse, Jerzy W  (2)
  5. Peters, James F  (2)
  6. Stoll, Robert Roth  (2)
  7. Forster, Thomas. philosophe  (2)
  8. Szczuka, Marcin S  (1)
  9. Caicedo, Xavier  (1)
  10. Kalinowski, Georges  (1)
  11. Corsi, Giovanna  (1)
  12. Cameron, Peter J  (1)
  13. Leśniewski, Stanisław  (1)
  14. Tarski, Alfred  (1)
  15. Nievergelt, Yves  (1)
  16. Alpigini, James J  (1)
  17. Martin-Löf, Per  (1)
  18. Lawvere, Francis William  (1)
  19. Müller, Gert H  (1)
  20. Sambin, Giovanni  (1)
  21. Kemmerich, Susanne  (1)
  22. Givant, Steven R  (1)
  23. Polkowski, Lech  (1)
  24. Steffens, Karsten  (1)
  25. Shelah, Saharon  (1)
  26. McMinn, Trevor J  (1)
  27. Fraenkel, Abraham Adolf  (1)
  28. Tsumoto, Shusaku  (1)
  29. Müller, Gert Heinz. mathématicien  (1)
  30. Yao, Yiyu  (1)
  31. Podewski, Klaus-Peter  (1)
  32. Lavrov, Igor  (1)
  33. Monin, Jean-François  (1)
  34. Dupin, Jean-Claude  (1)
  35. Rosebrugh, Robert  (1)
  36. Gribomont, Pascal  (1)
  37. Montenegro, Carlos H  (1)
  38. Komorowski, Jan  (1)
  39. Miéville, Denis  (1)
  40. Świniarski, Roman W  (1)
  41. Potthoff, Klaus  (1)
  42. Ziarko, Wojciech  (1)
  43. Maksimova, Larisa  (1)
  44. Morse, Anthony Perry  (1)
  45. Shehtman, Valentin  (1)
  46. Huet, Gérard. informaticien  (1)
  47. Bourbaki, Nicolas  (1)
  48. Prestel, Alexander  (1)
  49. Schindler, Ralf  (1)
  50. Oberschelp, Arnold  (1)
  51. Bekkali, Mohamed  (1)
  52. Hinman, Peter G  (1)
  53. Słowiński, Roman  (1)
  54. Holz, Michael  (1)
  55. Zhong, Ning  (1)
  56. Rucker, Rudy  (1)
  57. Gochet, Paul  (1)
  58. Benninghofen, Benjamin  (1)
  59. Kostek, Bozena  (1)
  60. Leven, Franz Josef  (1)
  61. Valein, Jean-Luc  (1)
  62. Abrial, Jean Raymond  (1)
  63. Autres open sub menu

Date de parution 

Affiner à partir de Affiner jusqu'à
  1. Avant 1982  (4)
  2. 1982 à 1992  (4)
  3. 1993 à 1998  (5)
  4. 1999 à 2004  (11)
  5. Après 2004  (11)
  6. Autres open sub menu

Langue 

  1. Anglais  (29)
  2. Français  (5)
  3. Allemand  (1)
  4. Autres open sub menu

Vous n'avez pas trouvé ce que vous cherchiez ?

Vous pouvez relancer votre recherche :
  • dans le SUDOC (catalogue français des bibliothèques de l'enseignement supérieur et de la recherche)
  • dans WorldCat (catalogue international)
  • dans Google Scholar
  • dans Isidore (moteur de recherche du CNRS)
  • dans BASE (Bielefeld Academic Search Engine)

Vous pouvez aussi :

Recherche dans les bases de données distantes en cours. Merci de patienter.