Matches in Library of Congress for { <http://lccn.loc.gov/77417195> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- 77417195 contributor B3125067.
- 77417195 created "1967-1975.".
- 77417195 date "1967".
- 77417195 date "1967-1975.".
- 77417195 dateCopyrighted "1967-1975.".
- 77417195 description "Bibliography: v. 1, p. [175]-181.".
- 77417195 description "t. 1. Relation, formule logique, compacité, complétude.--t. 2. Théorie des modèles.--t. 3. Récursivité et constructibilité.".
- 77417195 extent "3 v.".
- 77417195 isPartOf "Collection de logique mathématique, sér. A., no. 23, 24, 25".
- 77417195 issued "1967".
- 77417195 issued "1967-1975.".
- 77417195 language "fre".
- 77417195 publisher "Paris, Gauthier-Villars; Louvain, E. Nauwelaerts,".
- 77417195 subject "164".
- 77417195 subject "Logic, Symbolic and mathematical.".
- 77417195 subject "QA9 .F64".
- 77417195 tableOfContents "t. 1. Relation, formule logique, compacité, complétude.--t. 2. Théorie des modèles.--t. 3. Récursivité et constructibilité.".
- 77417195 title "Cours de logique mathematique ...".
- 77417195 type "text".