Search by Bookstore
Holdings of Libraries in Japan
This page shows libraries in Japan other than the National Diet Library that hold the material.
Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.
other
CiNii Research
Search ServicePaperYou can check the holdings of institutions and databases with which CiNii Research is linked at the site of CiNii Research.
Search by Bookstore
Bibliographic Record
You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.
- Material Type
- 図書
- Publication, Distribution, etc.
- Place of Publication (Country Code)
- fr
- Target Audience
- 一般
- Related Material
- Pages choisies d'analyse généraleLa structure algébrique des théories mathématiquesThéorie métamathématique des idéauxLes structures de commutation a m valeurs et les calculatrices numériquesIntroduction a la logiqueLa crise de la raison et la logique : conférences, faites à l'Université de Liège dans le cadre des échanges culturels belgo-néerlandais au mois de mai 1956Fonctions recursivesLogiques construites par une méthode de déduction naturelleLes limitations internes des formalismes : étude sur la signification du théorème de Gödel et des théorèmes apparentés dans la théorie des fondements des mathématiquesAxiomatique intuitionniste sans négation de la géométrie projectiveRelation et formule logiqueLa philosophie des mathématiques de Henri PoincaréApplications scientifiques de la logique mathématique : actes du 2e Colloque international de logique mathématique, Paris, 25-30 août 1952, Institut Henri PoincaréLes fondements logiques des mathématiquesRelation, formule logique, compacité, complétudeInitiation à la logiqueLeçons de logique algébriqueIntroduction à la logiqueL'existence en mathématiques : conférences faites à la Sorbonne au titre des échanges culturels franço-néerlandais du 29 mars au 7 avril 1954Les fonctions combinatoires et les isolsThéorie des modèlesRecherches sur la théorie générale des systèmes formels et sur les systèmes connectifsDeux esquisses de logiqueSur les algèbres de HilbertLogique mathématique appliquéeModal logicsLes fondements des mathématiques : intuitionnisme théorie de la démonstrationColloque sur les fondements des mathématiques, les machines mathématiques, et leurs applications ; Tihany, 11-15 Septembre 1962Théorie des probabilités : exposés sur ses fondements et ses applicationsLes fondements logiques des mathématiquesLes structures de commutation à m valeurs et les calculatrices numériquesLes systèmes axiomatiques de la théorie des ensemblesRécursivité et constructibilité
- Related Material (URI)
- Data Provider (Database)
- 国立情報学研究所 : CiNii Research
- Original Data Provider (Database)
- CiNii Books
- NCID
- https://ci.nii.ac.jp/ncid/BA07838770 : BA07838770