Matches in Library of Congress for { <http://lccn.loc.gov/00056525> ?p ?o. }
Showing items 1 to 26 of
26
with 100 items per page.
- 00056525 alternative "Logique mathématique. English".
- 00056525 contributor B50766.
- 00056525 contributor B50767.
- 00056525 created "2000-2001.".
- 00056525 date "2000".
- 00056525 date "2000-2001.".
- 00056525 dateCopyrighted "2000-2001.".
- 00056525 description "Includes bibliographical references and index.".
- 00056525 description "Propositional calculus, Boolean algebras, predicate calculus -- Recursion theory, Gödel's theorems, set theory. model theory.".
- 00056525 extent "2 v. ;".
- 00056525 identifier "0198500483 (pbk. : pt. 1 : acid-free paper)".
- 00056525 identifier "0198500491 (pt. 1 : acid-free paper)".
- 00056525 identifier 00056525-d.html.
- 00056525 identifier 00056525-t.html.
- 00056525 issued "2000".
- 00056525 issued "2000-2001.".
- 00056525 language "eng fre".
- 00056525 language "eng".
- 00056525 publisher "Oxford ; New York : Oxford University Press,".
- 00056525 subject "511.3 21".
- 00056525 subject "Logic, Symbolic and mathematical.".
- 00056525 subject "QA9 .C742513 2000".
- 00056525 tableOfContents "Propositional calculus, Boolean algebras, predicate calculus -- Recursion theory, Gödel's theorems, set theory. model theory.".
- 00056525 title "Logique mathématique. English".
- 00056525 title "Mathematical logic : a course with exercises / René Cori and Daniel Lascar ; translated by Donald H. Pelletier.".
- 00056525 type "text".