A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Détail de l'auteur
Auteur J. Barkley ROSSER
Documents disponibles écrits par cet auteur
Affiner la recherche Interroger des sources externesDeux esquisses de logique (1955) / J. Barkley ROSSER
Titre : Deux esquisses de logique Type de document : texte imprimé Auteurs : J. Barkley ROSSER, Auteur ; Roger MARTIN, Traducteur Editeur : Paris : Gauthier-Villars Année de publication : 1955 Autre Editeur : Louvain [Belgique] : E. Nauwelaerts Collection : Collection de logique mathématique. Série A, Monographies réunies par Mme Destouche, ISSN 0530-7554 num. VII Importance : 65 p. Langues : Français (fre) Langues originales : Anglais (eng) Mots-clés : logique combinatoire logique formelle logique mathématique Note de contenu : index, bibliogr. Deux esquisses de logique [texte imprimé] / J. Barkley ROSSER, Auteur ; Roger MARTIN, Traducteur . - Gauthier-Villars : Louvain (Belgique) : E. Nauwelaerts, 1955 . - 65 p.. - (Collection de logique mathématique. Série A, Monographies réunies par Mme Destouche, ISSN 0530-7554; VII) .
Langues : Français (fre) Langues originales : Anglais (eng)
Mots-clés : logique combinatoire logique formelle logique mathématique Note de contenu : index, bibliogr. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5543 ROS/02/3610 Livre Recherche Salle Disponible Logic for mathematicians (1953) / J. Barkley ROSSER
Titre : Logic for mathematicians Type de document : texte imprimé Auteurs : J. Barkley ROSSER, Auteur Editeur : New York : McGraw-Hill Book Company Année de publication : 1953 Collection : International series in pure and applied mathematics Importance : XIV-530 p. ISBN/ISSN/EAN : 978-0-8284-0294-1 Langues : Anglais (eng) Catégories : 03-xx Mots-clés : logique mathématique Note de contenu : index Logic for mathematicians [texte imprimé] / J. Barkley ROSSER, Auteur . - McGraw-Hill Book Company, 1953 . - XIV-530 p.. - (International series in pure and applied mathematics) .
ISBN : 978-0-8284-0294-1
Langues : Anglais (eng)
Catégories : 03-xx Mots-clés : logique mathématique Note de contenu : index Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité i684 ROS/02/i684 Livre Recherche Salle Disponible Logic for mathematicians (1978) / J. Barkley ROSSER
Titre : Logic for mathematicians Type de document : texte imprimé Auteurs : J. Barkley ROSSER, Auteur Mention d'édition : 2nd éd. Editeur : New York : Chelsea Publishing Company Année de publication : 1978 Importance : XV-574 p. ISBN/ISSN/EAN : 978-0-8284-0294-1 Langues : Anglais (eng) Catégories : 03-xx Mots-clés : logique mathématique Note de contenu : index, bibliogr. Logic for mathematicians [texte imprimé] / J. Barkley ROSSER, Auteur . - 2nd éd. . - New York : Chelsea Publishing Company, 1978 . - XV-574 p.
ISBN : 978-0-8284-0294-1
Langues : Anglais (eng)
Catégories : 03-xx Mots-clés : logique mathématique Note de contenu : index, bibliogr. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 509 ROS/02/5248 Livre Recherche Salle Disponible Many-valued logics (1958) / J. Barkley ROSSER
Titre : Many-valued logics Type de document : texte imprimé Auteurs : J. Barkley ROSSER, Auteur ; Atwell R. TURQUETTE, Auteur Editeur : Amsterdam : North-Holland Publishing Company Année de publication : 1958 Collection : Studies in logic and the foundations of mathematics, ISSN 0049-237X Importance : 124 p. Langues : Anglais (eng) Mots-clés : Logique multivalente logique mathématique Note de contenu : index, glossaire, bibliogr. Many-valued logics [texte imprimé] / J. Barkley ROSSER, Auteur ; Atwell R. TURQUETTE, Auteur . - North-Holland Publishing Company, 1958 . - 124 p.. - (Studies in logic and the foundations of mathematics, ISSN 0049-237X) .
Langues : Anglais (eng)
Mots-clés : Logique multivalente logique mathématique Note de contenu : index, glossaire, bibliogr. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5544 ROS/02/1513 Livre Recherche Salle Disponible Simplified independence proofs (1969) / J. Barkley ROSSER
Titre : Simplified independence proofs : boolean valued models of set theory Type de document : texte imprimé Auteurs : J. Barkley ROSSER, Auteur Editeur : Amsterdam : Academic Press Année de publication : 1969 Collection : Pure and applied mathematics. A series of monographs and textbooks num. 31 Importance : XV-217 p. Langues : Anglais (eng) Mots-clés : logique théorie des ensembles modèle booléen théorie de la preuve Note de contenu : index, bibliogr. Simplified independence proofs : boolean valued models of set theory [texte imprimé] / J. Barkley ROSSER, Auteur . - Academic Press, 1969 . - XV-217 p.. - (Pure and applied mathematics. A series of monographs and textbooks; 31) .
Langues : Anglais (eng)
Mots-clés : logique théorie des ensembles modèle booléen théorie de la preuve Note de contenu : index, bibliogr. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 4453 ROS/02/3820 Livre Recherche Salle Disponible