A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Catégories
Affiner la recherche Interroger des sources externes
Algebraic methods of mathematical logic / Ladislav RIEGER (1967)
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 Langues originales : Tchèque 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 Langues originales : Tchèque
Catégories : 03-xx Mots-clés : logique mathématique logique algebrique Note de contenu : index, bibliogr. 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 / Roland FRAÏSSÉ (1967)
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 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 . - Montréal (3744, rue Jean-Brillant, local 6310, H3T 1P1, Canada) : 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
Catégories : 03-xx Mots-clés : théorie des relations algèbre logique logique mathématique Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 4574 SMS 20 Livre Recherche Salle Disponible Ancient formal logic / I. M. BOCHEŃSKI (1957)
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 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 . - Amsterdam : North-Holland Publishing Company, 1957 . - VI-122 p.. - (Studies in logic and the foundations of mathematics, ISSN 0049-237X) .
Langues : Anglais
Catégories : 01-XX
03-xxMots-clés : logique formelle histoire des mathématiques Note de contenu : index, bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 4801 BOC/02/1574 Livre Recherche Salle Disponible Cours de logique mathématique. Tome I / Roland FRAÏSSÉ (1967)
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 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 . - Paris : 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
Catégories : 03-xx Mots-clés : logique mathématique formule logique Note de contenu : index, bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 3905 FRA/02/3286-I a Livre Recherche Salle Disponible A course in mathematical logic / Yuri I. MANIN (Cop. 1977)
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 Langues originales : Russe Catégories : 03-xx Mots-clés : logique mathématique A course in mathematical logic [texte imprimé] / Yuri I. MANIN, Auteur ; Neal KOBLITZ, Traducteur . - Berlin : Springer-Verlag, Cop. 1977 . - XIII-286 p.. - (Graduate Texts in Mathematics, ISSN 0072-5285; 53) .
ISBN : 978-0-387-90243-2
Langues : Anglais Langues originales : Russe
Catégories : 03-xx Mots-clés : logique mathématique Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 2361 MAN/02/5088 Livre Recherche Salle Disponible Degrees of unsolvability / Joseph R. SHOENFIELD (1971)
PermalinkDegrees of unsolvability / Gerald E. SACKS (1963)
PermalinkEine termlogik mit auswahloperator / Hans HERMES (1965)
PermalinkEinführung in die operative logik und mathematik / Paul LORENZEN (1955)
PermalinkElements of mathematical logic and set theory / J. Slupecki (1967)
PermalinkFirst-order logic / R.M. Smullyan (1968)
PermalinkGrundlagen der mathematik. Erster band / David HILBERT (1934)
PermalinkGrundzüge der mathematischen logik / Heinrich SCHOLZ (1961)
PermalinkGrundzüge der theoretischen logik / David HILBERT (1959)
PermalinkGrundzüge der theoretischen logik / David HILBERT (1949)
Permalink