Mathematical logic and theoretical computer science

Editor

Edited by David W. Kueker , Edgar G.K. Fopez- escobar ,Carl H. Smith

Publication

New York : Dekker

Publication Year

c1987

Collation

xviii, 383 p.: diagrs

Series

Lecture notes in pure and applied mathematics, V.106

Bibliography

Includes bibliographies

Subject

Logic, Symbolic and mathematical , Electronic data processing , Algebra

ADDED ENTRIES

AU Kueker, David W., ed , AU ^dSeries: Lecture notes in pure and applied mathematics, V.106

Main Class

511

Sub Class

Cutter no

M426

Date

1987

وارد كنندة اطلاعات

soltani^d// , khodaei^d2003/07/23 12:10:59

Link To Document