skip to main content
Langue :
COVID-19 : bibliothèque fermée. 

Nouveau service Retrait de documents sur rendez-vous
COVID-19 : bibliothèque fermée. 

Nouveau service Retrait de documents sur rendez-vous
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

Indisponible     (->>)

2
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

Indisponible     (->>)

3
Set theory for computing : from decision procedures to declarative programming with sets
Material Type:
Livre
Ajouter au Panier

Set theory for computing : from decision procedures to declarative programming with sets

Cantone, Domenico ; Omodeo, Eugenio ; Policriti, Alberto ; Schwartz, Jacob T (1930-2009) (Préf.)

Appartient à la collection : Monographs in computer science, ISSN 1431-6900

New York. Berlin. Heidelberg. Springer, cop. 2001

Indisponible     (->>)

4
Théorie des ensembles
Material Type:
ebook
Ajouter au Panier

Théorie des ensembles

Bourbaki, Nicolas

Fait partie de l'ensemble : Éléments de mathématique

Berlin, Heidelberg. Springer Berlin Heidelberg. Springer e-books, 2006

5
Set theory and logic
Material Type:
Livre
Ajouter au Panier

Set theory and logic

Stoll, Robert Roth (1915-...)

Appartient à la collection : Dover books on mathematics

New York. Dover, 1979

Disponible(->>)

6
A formalization of set theory without variables
Material Type:
Livre
Ajouter au Panier

A formalization of set theory without variables

Tarski, Alfred (1901-1983) ; Givant, Steven R (1943-...)

Appartient à la collection : Colloquium Publications - American Mathematical Society, vol. 41, ISSN 0065-9258

Providence (R.I.). American Mathematical Society, cop. 1987

Disponible(->>)

7
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

Indisponible     (->>)

8
Sets, logic, and categories
Material Type:
Livre
Ajouter au Panier

Sets, logic, and categories

Cameron, Peter J (1947-...)

Appartient à la collection : Springer undergraduate mathematics series, ISSN 1615-2085

London. Berlin. Heidelberg. Springer, cop. 1998

Disponible - la bibliothèque possède plusieurs exemplaires de ce document(->>)

9
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

Indisponible     (->>)

10
Set theory : exploring independence and truth
Material Type:
Livre
Ajouter au Panier

Set theory : exploring independence and truth

Schindler, Ralf

Appartient à la collection : Universitext (Berlin. Print), ISSN 0172-5939

Cham. Heidelberg. New York [etc.]. Springer, cop. 2014

Indisponible     (->>)

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  (33)
  2. Logic, Symbolic and mathematical  (19)
  3. Set theory  (12)
  4. Mathematics  (8)
  5. Informatique  (7)
  6. Artificial Intelligence (incl. Robotics)  (6)
  7. Mathematical Logic and Formal Languages  (6)
  8. Computer science  (6)
  9. Intelligence artificielle  (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. Théorie de la démonstration  (3)
  20. Perception des structures  (3)
  21. Optical pattern recognition  (3)
  22. Pattern Recognition  (3)
  23. Algorithmes  (2)
  24. Mathematics, general  (2)
  25. Génie logiciel  (2)
  26. Algèbre  (2)
  27. Catégories (mathématiques)  (1)
  28. Logiciels. Développement  (1)
  29. Analyse combinatoire  (1)
  30. Induction (logique)  (1)
  31. Computable functions  (1)
  32. B (Computer program language)  (1)
  33. Monoïdes  (1)
  34. Information Systems Applications (incl Internet)  (1)
  35. Information systems  (1)
  36. Algebra  (1)
  37. Cryptographie  (1)
  38. Logique informatique  (1)
  39. Management information systems  (1)
  40. Infinite  (1)
  41. Logique floue  (1)
  42. Algorithm Analysis and Problem Complexity  (1)
  43. Exploration de données  (1)
  44. Logic, Symbolic and mathematical. Congresses  (1)
  45. Raisonnement. Mathématiques  (1)
  46. Récursivité, Théorie de la  (1)
  47. Logique mathématique. Guides pratiques  (1)
  48. Programmation  (1)
  49. Ordinateurs. Programmation  (1)
  50. Aggregates  (1)
  51. Model theory  (1)
  52. Intuitionistic mathematics  (1)
  53. Categories (Mathematics)  (1)
  54. Logique. Philosophie  (1)
  55. B (méthode formelle)  (1)
  56. Computer software  (1)
  57. Business Information Systems  (1)
  58. Infini  (1)
  59. Réécriture, Systèmes de (informatique)  (1)
  60. Point fixe, théorie du  (1)
  61. Programming (Electronic computers)  (1)
  62. Forcing (mathématiques)  (1)
  63. Axiomatic set theory  (1)
  64. Proof theory  (1)
  65. Automates mathématiques, Théorie des  (1)
  66. Leśniewski, Stanisław (1886-1933)  (1)
  67. Fonctions calculables  (1)
  68. Calcul formel. Informatique  (1)
  69. Modèles mathématiques  (1)
  70. Gödel, Théorème de  (1)
  71. Mathématiques. Philosophie  (1)
  72. Langages formels  (1)
  73. Programmation déclarative  (1)
  74. Informatique douce  (1)
  75. Nombres, Théorie des  (1)
  76. Recursion theory  (1)
  77. 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. Schwartz, Jacob T  (1)
  33. Lavrov, Igor  (1)
  34. Monin, Jean-François  (1)
  35. Abrial, Jean-Raymond  (1)
  36. Dupin, Jean-Claude  (1)
  37. Rosebrugh, Robert  (1)
  38. Montenegro, Carlos H  (1)
  39. Komorowski, Jan  (1)
  40. Miéville, Denis  (1)
  41. Świniarski, Roman W  (1)
  42. Potthoff, Klaus  (1)
  43. Ziarko, Wojciech  (1)
  44. Maksimova, Larisa  (1)
  45. Morse, Anthony Perry  (1)
  46. Shehtman, Valentin  (1)
  47. Huet, Gérard. informaticien  (1)
  48. Bourbaki, Nicolas  (1)
  49. Prestel, Alexander  (1)
  50. Schindler, Ralf  (1)
  51. Oberschelp, Arnold  (1)
  52. Bekkali, Mohamed  (1)
  53. Policriti, Alberto  (1)
  54. Hinman, Peter G  (1)
  55. Słowiński, Roman  (1)
  56. Holz, Michael  (1)
  57. Zhong, Ning  (1)
  58. Rucker, Rudy  (1)
  59. Omodeo, Eugenio  (1)
  60. Benninghofen, Benjamin  (1)
  61. Cantone, Domenico  (1)
  62. Kostek, Bozena  (1)
  63. Leven, Franz Josef  (1)
  64. Valein, Jean-Luc  (1)
  65. Autres open sub menu

Date de parution 

Affiner à partir de Affiner jusqu'à
  1. Avant 1982  (4)
  2. 1982 à 1992  (4)
  3. 1993 à 2000  (6)
  4. 2001 à 2005  (12)
  5. Après 2005  (9)
  6. Autres open sub menu

Langue 

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

Elargir la recherche à tous les documents

Elargir la recherche à tous les documents

de cet auteur:

  1. Skowron, Andrzej
  2. Richter, Michael M
  3. Jensen, Ronald Björn
  4. Grzymala-Busse, Jerzy W
  5. Peters, James F

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.