Matches in Library of Congress for { <http://lccn.loc.gov/72381185%2F%2Fr83> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 72381185%2F%2Fr83 alternative "Decision method for elementary algebra and geometry".
- 72381185%2F%2Fr83 contributor B2181391.
- 72381185%2F%2Fr83 contributor B2181392.
- 72381185%2F%2Fr83 created "1967.".
- 72381185%2F%2Fr83 date "1967".
- 72381185%2F%2Fr83 date "1967.".
- 72381185%2F%2Fr83 dateCopyrighted "1967.".
- 72381185%2F%2Fr83 description "Bibliography: p. 48-50.".
- 72381185%2F%2Fr83 extent "iv, 50 p.".
- 72381185%2F%2Fr83 issued "1967".
- 72381185%2F%2Fr83 issued "1967.".
- 72381185%2F%2Fr83 language "eng".
- 72381185%2F%2Fr83 publisher "Paris, Centre national de la recherche scientifique, Institut Blaise Pascal,".
- 72381185%2F%2Fr83 subject "512".
- 72381185%2F%2Fr83 subject "Axioms.".
- 72381185%2F%2Fr83 subject "Gödel's theorem.".
- 72381185%2F%2Fr83 subject "Logic, Symbolic and mathematical.".
- 72381185%2F%2Fr83 subject "QA9 .T27 1967".
- 72381185%2F%2Fr83 title "Decision method for elementary algebra and geometry".
- 72381185%2F%2Fr83 title "The completeness of elementary algebra and geometry.".
- 72381185%2F%2Fr83 type "text".