Matches in Harvard for { <http://id.lib.harvard.edu/aleph/007421957/catalog> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- catalog contributor b10245496.
- catalog created "1997.".
- catalog date "1997".
- catalog date "1997.".
- catalog dateCopyrighted "1997.".
- catalog description "Includes bibliographical references and index.".
- catalog description "Pt. 1. Semantics -- Introduction -- Truth-functors -- Quantifiers -- pt. 2. Proofs -- Semantic tableaux -- Axiomatic proofs -- Natural deduction -- Sequent calculi -- pt. 3 Further topics -- Existence and identity.".
- catalog extent "ix, 393 p. ;".
- catalog identifier "0198751419 (alk. paper)".
- catalog identifier "0198751427 (pb : alk. paper)".
- catalog issued "1997".
- catalog issued "1997.".
- catalog language "eng".
- catalog publisher "Oxford : Clarendon Press ; New York : Oxford University Press,".
- catalog subject "160 21".
- catalog subject "BC135 .B473 1997".
- catalog subject "Logic, Symbolic and mathematical.".
- catalog tableOfContents "Pt. 1. Semantics -- Introduction -- Truth-functors -- Quantifiers -- pt. 2. Proofs -- Semantic tableaux -- Axiomatic proofs -- Natural deduction -- Sequent calculi -- pt. 3 Further topics -- Existence and identity.".
- catalog title "Intermediate logic / David Bostock.".
- catalog type "text".