A course in mathematical logic

このページのQRコード

種類:

図書

責任表示:

Yu.I. Manin ; translated from the Russian by Neal Koblitz

出版情報:

New York ; Berlin : Springer, c1977

著者名:

シリーズ名:

Graduate texts in mathematics ; 53 <BA00010074>

ISBN:

9780387902432 [0387902430] (: us)

9783540902430 [3540902430] (: gw)

注記:

Includes index

所蔵情報

子書誌情報

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

詳細

主題:	Logic, Symbolic and mathematical
分類・件名:	LCC : QA9 DDC : 511/.3 LCSH : Logic, Symbolic and mathematical
LCCN:	77001838
TTLL:	eng
言語:	英語
形態:	xiii, 286 p. ; 25 cm
書誌ID:	BA00120232

内容紹介

目次情報

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Mathematical logic for computer science Ben-Ari, M., 1948- Springer	7 図書 Mathematics and logic for digital devices Culbertson, James T. (James Thomas), 1911- Van Nostrand
2 図書 Mathematical logic for computer science Ben-Ari, M., 1948- Prentice Hall	8 図書 Algebraic methods of mathematical logic Rieger, Ladislav, 1916-1963, Basch, Michael Academia, Academic Press
3 図書 Mathematical logic Ebbinghaus, Heinz-Dieter, 1939-, Flum, Jörg, Thomas, Wolfgang Springer-Verlag	9 図書 Introduction to mathematical logic Mendelson, Elliott Van Nostrand
4 図書 Mathematical logic Monk, James Donald, 1930- Springer-Verlag	10 図書 Introduction to elementary mathematical logic Stoli︠a︡r, A. A. (Abram Aronovich) Dover Publications
5 図書 A mathematical introduction to logic Enderton, Herbert B Academic Press	11 図書 Mathematical logic for computer science Lu, Zhongwan World Scientific
6 図書 An algebraic introduction to mathematical logic Barnes, D. W. (Donald W.), 1935-, Mack, J. M. Springer-Verlag	12 図書 Two applications of logic to mathematics 竹内, 外史(1926-) Iwanami Shoten, Princeton University Press