A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Détail d'une collection
Studies in logic and the foundations of mathematics
Editeur :
ISSN :
0049-237X
|
Documents disponibles dans la collection
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![](./images/orderby_az.gif)
Truth and consequence in mediaeval logic / Ernest A. MOODY (1953)
Titre : Truth and consequence in mediaeval logic Type de document : texte imprimé Auteurs : Ernest A. MOODY, Auteur Editeur : Amsterdam : North-Holland Publishing Company Année de publication : 1953 Collection : Studies in logic and the foundations of mathematics, ISSN 0049-237X Importance : VIII-113 p. Langues : Anglais Catégories : 01-XX
03-xxMots-clés : logique médiévale histoire des mathématiques Note de contenu : bibliogr; Truth and consequence in mediaeval logic [texte imprimé] / Ernest A. MOODY, Auteur . - Amsterdam : North-Holland Publishing Company, 1953 . - VIII-113 p.. - (Studies in logic and the foundations of mathematics, ISSN 0049-237X) .
Langues : Anglais
Catégories : 01-XX
03-xxMots-clés : logique médiévale histoire des mathématiques Note de contenu : bibliogr; Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 4791 MOO/02/1547 Livre Recherche Salle Disponible Undecidable theories / Alfred TARSKI (1968)
Titre : Undecidable theories Type de document : monographie Auteurs : Alfred TARSKI, Auteur ; Andrzej MOSTOWSKI, Auteur ; R.M. Robinson, Auteur Editeur : Amsterdam : North-Holland Publishing Company Année de publication : 1968 Collection : Studies in logic and the foundations of mathematics, ISSN 0049-237X Langues : Anglais Catégories : 03-xx Mots-clés : logique Undecidable theories [monographie] / Alfred TARSKI, Auteur ; Andrzej MOSTOWSKI, Auteur ; R.M. Robinson, Auteur . - Amsterdam : North-Holland Publishing Company, 1968. - (Studies in logic and the foundations of mathematics, ISSN 0049-237X) .
Langues : Anglais
Catégories : 03-xx Mots-clés : logique Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 4556 TARS/02/1546 Livre Recherche Salle Disponible Word problems / W. W. BOONE (Cop. 1973)
Titre : Word problems : decision problems and the burniside problem in group theory Type de document : texte imprimé Auteurs : W. W. BOONE, Editeur scientifique ; F. B. CANNONITO, Editeur scientifique ; Roger C. LYNDON, Editeur scientifique Editeur : Amsterdam : North-Holland Publishing Company Année de publication : Cop. 1973 Collection : Studies in logic and the foundations of mathematics, ISSN 0049-237X num. 71 Importance : XII-646 p. Note générale : Ce volume est issu de la conférence 'Decision problems in group theory', (CODEP) qui s'est tenue à l'Université de Californie, Irvine, en Septembre 1969. Langues : Anglais Mots-clés : théorie des groupes problème de Burnside théorème de Gödel Note de contenu : références Word problems : decision problems and the burniside problem in group theory [texte imprimé] / W. W. BOONE, Editeur scientifique ; F. B. CANNONITO, Editeur scientifique ; Roger C. LYNDON, Editeur scientifique . - Amsterdam : North-Holland Publishing Company, Cop. 1973 . - XII-646 p.. - (Studies in logic and the foundations of mathematics, ISSN 0049-237X; 71) .
Ce volume est issu de la conférence 'Decision problems in group theory', (CODEP) qui s'est tenue à l'Université de Californie, Irvine, en Septembre 1969.
Langues : Anglais
Mots-clés : théorie des groupes problème de Burnside théorème de Gödel Note de contenu : références Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 3569 BOO/02/4479 Livre Recherche Salle Disponible