>> Amazon.co.jp
このページのQRコード

Mathematical logic and theoretical computer science

種類:
図書
責任表示:
edited by David W. Kueker, Edgar G.K. Lopez-Escobar, Carl H. Smith
出版情報:
New York : M. Dekker, c1987
著者名:
シリーズ名:
Lecture notes in pure and applied mathematics ; v. 106 <BA00256405>
ISBN:
9780824777463 [0824777468]  CiNii Books  Calil
注記:
"Papers ... presented during the XVI Special Year of the Department of Mathematics of the University of Maryland, 1984-1985"--Pref.
Includes index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

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 図書 Epistemic logic for AI and computer science

Meyer, John-Jules, Hoek, W. van der

Cambridge University Press
2 図書 Mathematical logic for computer science

Ben-Ari, M., 1948-

Springer
8 図書 Logic and algorithms : with applications to the computer and information sciences

Korfhage, Robert R.

Wiley
3 図書 Mathematical logic for computer science

Ben-Ari, M., 1948-

Prentice Hall
9 図書 An algebraic introduction to mathematical logic

Barnes, D. W. (Donald W.), 1935-, Mack, J. M.

Springer-Verlag
4 図書 Mathematical logic for computer science

Lu, Zhongwan

World Scientific
10 図書 Twelve papers on logic and algebra

Felʹdman, N. I.

American Mathematical Society
5 図書 MATHEMATICAL LOGIC AND THEORETICAL COMPUTER SCIENCE

<ED. BY> KUEKER, DAVID W. <ET AL.>

MARCEL DEKKER
11 図書 Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht

Ehrenfeucht, Andrzej, Mycielski, Jan, 1932-, Rozenberg, Grzegorz, Salomaa, Arto, 1934-

Springer
6 電子ブック Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, …

Brazilian Conference on Mathematical Logic, Carnielli, Walter A., D'Ottaviano, Itala M. L.,1944-

American Mathematical Society
12 図書 Fourteen papers on logic, algebra, complex variables and topology

Abramov, Leonid Mikhaĭlovich

American Mathematical Society