Matches in Library of Congress for { <http://lccn.loc.gov/86031426> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 86031426 alternative "Bibliography of mathematical logic.".
- 86031426 contributor B5171469.
- 86031426 created "c1987-".
- 86031426 date "1987".
- 86031426 date "c1987-".
- 86031426 dateCopyrighted "c1987-".
- 86031426 description "v. 1. Classical logic / Wolfgang Rautenberg, ed. -- v. 2. Non-classical logics / Wolfgang Rautenberg, ed. -- v. 3. Model theory / Heinz-Dieter Ebbinghaus, ed. -- v. 4. Recursion theory / Peter G. Hinman, ed. -- v. 5. Set theory / Andreas R. Blass, ed. -- v. 6. Proof theory ; Constructive mathematics / Jane E. Kister, Dirk van Dalen & Anne S. Troelstra, eds.".
- 86031426 extent "v. <1-6 > ;".
- 86031426 identifier "0387173218 (U.S. : v. 1)".
- 86031426 isPartOf "Perspectives in mathematical logic".
- 86031426 issued "1987".
- 86031426 issued "c1987-".
- 86031426 language "eng".
- 86031426 language "engmul".
- 86031426 publisher "Berlin ; New York : Springer-Verlag,".
- 86031426 subject "016.5113 19".
- 86031426 subject "Logic, Symbolic and mathematical Bibliography.".
- 86031426 subject "Z6654.M26 O47 1987 QA9".
- 86031426 tableOfContents "v. 1. Classical logic / Wolfgang Rautenberg, ed. -- v. 2. Non-classical logics / Wolfgang Rautenberg, ed. -- v. 3. Model theory / Heinz-Dieter Ebbinghaus, ed. -- v. 4. Recursion theory / Peter G. Hinman, ed. -- v. 5. Set theory / Andreas R. Blass, ed. -- v. 6. Proof theory ; Constructive mathematics / Jane E. Kister, Dirk van Dalen & Anne S. Troelstra, eds.".
- 86031426 title "[Omega]--bibliography of mathematical logic / edited by Gert H. Müller in collaboration with Wolfgang Lenski.".
- 86031426 type "text".