A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Catégories
> 03-xx
Affiner la recherche Interroger des sources externes
Algebraic methods of mathematical logic (1967) / Ladislav RIEGER
Titre : Algebraic methods of mathematical logic Type de document : texte imprimé Auteurs : Ladislav RIEGER, Auteur ; Michal BASCH, Traducteur Editeur : Amsterdam : Academic Press Année de publication : 1967 Importance : 195 p. Langues : Anglais (eng) Langues originales : Tchèque (cze) Catégories : 03-xx Mots-clés : logique mathématique logique algebrique Note de contenu : index, bibliogr. Algebraic methods of mathematical logic [texte imprimé] / Ladislav RIEGER, Auteur ; Michal BASCH, Traducteur . - Amsterdam : Academic Press, 1967 . - 195 p.
Langues : Anglais (eng) Langues originales : Tchèque (cze)
Catégories : 03-xx Mots-clés : logique mathématique logique algebrique Note de contenu : index, bibliogr. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 4413 RIE/02/3330 Livre Recherche Salle Disponible L'algèbre logique et ses rapports avec la théorie des relations (1967) / Roland FRAÏSSÉ
Titre : L'algèbre logique et ses rapports avec la théorie des relations Type de document : texte imprimé Auteurs : Roland FRAÏSSÉ, Auteur Editeur : Montréal [Canada] : Les Presses de l'Université de Montréal Année de publication : 1967 Collection : Séminaire de mathématiques supérieures, ISSN 0544-9758 num. 20 Importance : 78 p. Note générale : Exposé rédigé avec l'aide de Jean-Pierre Calais, Giovanni Coray et Michel Jean Langues : Français (fre) Catégories : 03-xx Mots-clés : théorie des relations algèbre logique logique mathématique L'algèbre logique et ses rapports avec la théorie des relations [texte imprimé] / Roland FRAÏSSÉ, Auteur . - Les Presses de l'Université de Montréal, 1967 . - 78 p.. - (Séminaire de mathématiques supérieures, ISSN 0544-9758; 20) .
Exposé rédigé avec l'aide de Jean-Pierre Calais, Giovanni Coray et Michel Jean
Langues : Français (fre)
Catégories : 03-xx Mots-clés : théorie des relations algèbre logique logique mathématique Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 4574 FRA/02/3191-20 Livre Recherche Salle Disponible Ancient formal logic (1957) / I. M. BOCHE?SKI
Titre : Ancient formal logic Type de document : texte imprimé Auteurs : I. M. BOCHE?SKI, Auteur Editeur : Amsterdam : North-Holland Publishing Company Année de publication : 1957 Collection : Studies in logic and the foundations of mathematics, ISSN 0049-237X Importance : VI-122 p. Langues : Anglais (eng) Catégories : 01-XX
03-xxMots-clés : logique formelle histoire des mathématiques Note de contenu : index, bibliogr. Ancient formal logic [texte imprimé] / I. M. BOCHE?SKI, Auteur . - North-Holland Publishing Company, 1957 . - VI-122 p.. - (Studies in logic and the foundations of mathematics, ISSN 0049-237X) .
Langues : Anglais (eng)
Catégories : 01-XX
03-xxMots-clés : logique formelle histoire des mathématiques Note de contenu : index, bibliogr. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 4801 BOC/02/1574 Livre Recherche Salle Disponible Cours de logique mathématique. Tome I (1967) / Roland FRAÏSSÉ
Titre : Cours de logique mathématique. Tome I : relation, formule logique, compacité, complétude Type de document : texte imprimé Auteurs : Roland FRAÏSSÉ, Auteur Editeur : Paris : Gauthier-Villars Année de publication : 1967 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. 023 Importance : XII-186 p. Langues : Français (fre) Catégories : 03-xx Mots-clés : logique mathématique formule logique Note de contenu : index, bibliogr. Cours de logique mathématique. Tome I : relation, formule logique, compacité, complétude [texte imprimé] / Roland FRAÏSSÉ, Auteur . - Gauthier-Villars : Louvain (Belgique) : E. Nauwelaerts, 1967 . - XII-186 p.. - (Collection de logique mathématique. Série A, Monographies réunies par Mme Destouche, ISSN 0530-7554; 023) .
Langues : Français (fre)
Catégories : 03-xx Mots-clés : logique mathématique formule logique Note de contenu : index, bibliogr. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 3905 FRA/02/3286-I a Livre Recherche Salle Disponible A course in mathematical logic (Cop. 1977) / Yuri I. MANIN
Titre : A course in mathematical logic Type de document : texte imprimé Auteurs : Yuri I. MANIN, Auteur ; Neal KOBLITZ, Traducteur Editeur : New York : Springer-Verlag Année de publication : Cop. 1977 Collection : Graduate Texts in Mathematics, ISSN 0072-5285 num. 53 Importance : XIII-286 p. ISBN/ISSN/EAN : 978-0-387-90243-2 Langues : Anglais (eng) Langues originales : Russe (rus) Catégories : 03-xx Mots-clés : logique mathématique A course in mathematical logic [texte imprimé] / Yuri I. MANIN, Auteur ; Neal KOBLITZ, Traducteur . - Springer-Verlag, Cop. 1977 . - XIII-286 p.. - (Graduate Texts in Mathematics, ISSN 0072-5285; 53) .
ISBN : 978-0-387-90243-2
Langues : Anglais (eng) Langues originales : Russe (rus)
Catégories : 03-xx Mots-clés : logique mathématique Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 2361 MAN/02/5088 Livre Recherche Salle Disponible Degrees of unsolvability (1971) / Joseph R. SHOENFIELD
PermalinkDegrees of unsolvability (1963) / Gerald E. SACKS
PermalinkEine termlogik mit auswahloperator (1965) / Hans HERMES
PermalinkEinführung in die operative logik und mathematik (1955) / Paul LORENZEN
PermalinkElements of mathematical logic and set theory (1967) / J. Slupecki
PermalinkFirst-order logic (1968) / R.M. Smullyan
PermalinkGrundlagen der mathematik. Erster band (1934) / David HILBERT
PermalinkGrundzüge der mathematischen logik (1961) / Heinrich SCHOLZ
PermalinkGrundzüge der theoretischen logik (1959) / David HILBERT
PermalinkGrundzüge der theoretischen logik (1949) / David HILBERT
Permalink