Mathematical logic and theoretical computer science

タイトル、所在を表示します

フォーマット:

図書

責任表示:

edited by David W. Kueker, Edgar G.K. Lopez-Escobar, Carl H. Smith

言語:

英語

出版情報:

New York : M. Dekker, c1987

形態:

xviii, 383 p. ; 25 cm

著者名:

シリーズ名:

書誌ID:

BA00441633

ISBN:

9780824777463 [0824777468]

子書誌情報

所蔵情報

タイトルが類似している資料

詳細

資料形態(詳細):	Text
主題:	Algebra; Electronic data processing; Logic, Symbolic and mathematical
LCCN:	86029033
注記:	"Papers ... presented during the XVI Special Year of the Department of Mathematics of the University of Maryland, 1984-1985"--Pref. Includes index
登録日:	1999-09-08
分類・件名:	LCC : QA9.2 DDC : 511.3 LCSH : Logic, Symbolic and mathematical LCSH : Electronic data processing LCSH : Algebra

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Discrete mathematics in computer science Stanat, Donald F., 1937-, McAllister, David F., 1941- Prentice-Hall	7 図書 Twelve papers on logic and algebra Felʹdman, N. I. American Mathematical Society
2 図書 Mathematical logic for computer science Ben-Ari, M., 1948- Springer	8 図書 Fourteen papers on logic, algebra, complex variables and topology Abramov, Leonid Mikhaĭlovich American Mathematical Society
3 図書 Logic : a foundation for computer science Sperschneider, V, Antoniou, G. (Grigorios) Addison-Wesley	9 図書 Eleven papers on logic, algebra, analysis and topology Budak, B. M. (Boris Mikhaĭlovich) American Mathematical Society
4 図書 Trends in theoretical computer science Börger, Egon, 1946- Computer Science Press	10 図書 Logic and algorithms : with applications to the computer and information sciences Korfhage, Robert R. Wiley
5 図書 An algebraic introduction to mathematical logic Barnes, D. W. (Donald W.), 1935-, Mack, J. M. Springer-Verlag	11 図書 Foundations : essays in philosophy, logic, mathematics and economics Ramsey, Frank Plumpton, 1903-1930, Mellor, D. H. Routledge & K. Paul
6 図書 Mathematical logic Quine, W. V. (Willard Van Orman), 1908- Harvard University Press	12 図書 Foundations of computer science Carberry, M. S. Computer Science Press