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
Notions de logique formelle (1967) / Joseph Dopp
Titre : Notions de logique formelle Type de document : texte imprimé Auteurs : Joseph Dopp, Auteur Mention d'édition : 2ème éd. Editeur : Louvain [Belgique] : E. Nauwelaerts Année de publication : 1967 Collection : Cours publiés par l'institut supérieur de philosophie Importance : 304 p. Langues : Français (fre) Catégories : 03-xx Mots-clés : logique formelle philosophie histoire Note de contenu : index Notions de logique formelle [texte imprimé] / Joseph Dopp, Auteur . - 2ème éd. . - E. Nauwelaerts, 1967 . - 304 p.. - (Cours publiés par l'institut supérieur de philosophie) .
Langues : Français (fre)
Catégories : 03-xx Mots-clés : logique formelle philosophie histoire Note de contenu : index Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité i1218 DOP/02/i1218 Livre Recherche Salle Disponible 5114 DOPP/02/3568 Livre Recherche Salle Disponible Principes de logique et de philosophie mathématique (1971) / Octav ONICESCU
Titre : Principes de logique et de philosophie mathématique Type de document : texte imprimé Auteurs : Octav ONICESCU, Auteur Editeur : Ed. de l'Académie de la République Socialiste de Roumanie Année de publication : 1971 Importance : 229 p. Langues : Français (fre) Catégories : 03-xx Mots-clés : logique mathématique philosophie des mathématiques Note de contenu : bibliogr. Principes de logique et de philosophie mathématique [texte imprimé] / Octav ONICESCU, Auteur . - [S.l.] : Ed. de l'Académie de la République Socialiste de Roumanie, 1971 . - 229 p.
Langues : Français (fre)
Catégories : 03-xx Mots-clés : logique mathématique philosophie des mathématiques Note de contenu : bibliogr. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 3475 ONI/02/20174 Livre Recherche Salle Disponible Principles of mathematical logic (1950) / David HILBERT
Titre : Principles of mathematical logic Type de document : texte imprimé Auteurs : David HILBERT, Auteur ; W. ACKERMANN, Auteur Editeur : New York : Chelsea Publishing Company Année de publication : 1950 Importance : XII-172 p. Langues : Anglais (eng) Langues originales : Allemand (ger) Catégories : 03-xx Mots-clés : logique mathématique Note de contenu : index, bibliogr. Principles of mathematical logic [texte imprimé] / David HILBERT, Auteur ; W. ACKERMANN, Auteur . - New York : Chelsea Publishing Company, 1950 . - XII-172 p.
Langues : Anglais (eng) Langues originales : Allemand (ger)
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é 20969 HIL/02/8855 Livre Recherche Salle Exclu du prêt 648 HIL/02/CH29 Livre Recherche Salle Disponible i685 HIL/02/i685 Livre Recherche Salle Disponible Stochastic processes-mathematics and physics (1986) / S. Albeverio
Titre : Stochastic processes-mathematics and physics : Proceedings of the 1st BiBoS-Symposium held in Bielefeld, West Germany, September 10-15, 1984 Type de document : collection Auteurs : S. Albeverio, Auteur ; Ph. Blanchard, Auteur ; L. Streit, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1986 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 1158 Importance : V-257 p. ISBN/ISSN/EAN : 978-3-540-15998-8 Langues : Anglais (eng) Catégories : 03-xx
22-XX
28-XX
31-XX
34BXX
35-XX
35JXX
46-XX
58-XX
60Gxx
60Hxx
60J-
60Jxx
73-XX
76-XX
81FXX
81GXX
82-XX
85-XX
93-XXMots-clés : processus stochastique Note de contenu : références Stochastic processes-mathematics and physics : Proceedings of the 1st BiBoS-Symposium held in Bielefeld, West Germany, September 10-15, 1984 [collection] / S. Albeverio, Auteur ; Ph. Blanchard, Auteur ; L. Streit, Auteur . - Springer-Verlag, 1986 . - V-257 p.. - (Lecture Note in Mathematics, ISSN 0075-8434; 1158) .
ISBN : 978-3-540-15998-8
Langues : Anglais (eng)
Catégories : 03-xx
22-XX
28-XX
31-XX
34BXX
35-XX
35JXX
46-XX
58-XX
60Gxx
60Hxx
60J-
60Jxx
73-XX
76-XX
81FXX
81GXX
82-XX
85-XX
93-XXMots-clés : processus stochastique Note de contenu : références Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 3288 LN 1158 Livre Recherche Salle Disponible Studies in constructive mathematics and mathematical logic. Part I (1969) / A.O. Ed. Slisenko
Titre : Studies in constructive mathematics and mathematical logic. Part I Type de document : texte imprimé Auteurs : A.O. Ed. Slisenko, Auteur Editeur : New York [U.S.A.] : Consultants Bureau Année de publication : 1969 Collection : Seminars in mathematics num. 4 Importance : VIII-88 p. Langues : Anglais (eng) Langues originales : Russe (rus) Catégories : 03-xx
03FXXMots-clés : mathématique constructive logique mathématique Note de contenu : bibliogr. Studies in constructive mathematics and mathematical logic. Part I [texte imprimé] / A.O. Ed. Slisenko, Auteur . - Consultants Bureau, 1969 . - VIII-88 p.. - (Seminars in mathematics; 4) .
Langues : Anglais (eng) Langues originales : Russe (rus)
Catégories : 03-xx
03FXXMots-clés : mathématique constructive logique mathématique Note de contenu : bibliogr. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 4252 SLIS/02/SMIL-4 Livre Recherche Salle Disponible Truth and consequence in mediaeval logic (1953) / Ernest A. MOODY
PermalinkUndecidable theories (1968) / Alfred TARSKI
PermalinkVollständige systeme modaler und intuitionistischer logik (Cop. 1968) / Karl SCHÜTTE
Permalink