Six papers in logic

>> Amazon.co.jp

このページのQRコード

Six papers in logic

種類:

図書

責任表示:

by S.N. Artemov ... [et al.] ; [translation edited by Ben Silver]

出版情報:

Providence, R.I. : American Mathematical Society, c1987

著者名:

シリーズ名:

American Mathematical Society translations ; ser. 2, v. 135 <BA00126556>

ISBN:

9780821831113 [0821831119]

注記:

Includes bibliographies

所蔵情報

子書誌情報

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

詳細

その他の標題:

6 papers in logic

主題:

Logic, Symbolic and mathematical

分類・件名:

LCC : QA3
LCC : QA9.2
DDC : 510 s
DDC : 511.3
NDC8 : 410.8
LCSH : Logic, Symbolic and mathematical

LCCN:

87001000

TTLL:

eng

言語:

英語

形態:

ix, 79 p. ; 26 cm

目次情報:

Solution of the problem of finite axiomatizability for theories that are categorical in all infinite powers	B.I. Zilʹber
On a solution of the problem of finite axiomatizability for theories categorical in all infinite powers	B.I. Zilʹber
On theories with a basis	M.I. Bekenov
Gentzen systems of postulates for set theory	V.E. Vailʹ
Arithmetically complete modal theories	S.N. Artemov
On the complexity of shortest disjunctive normal forms of Boolean functions	A.D. Korshunov

書誌ID:

BA00452491

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Twelve papers on logic and algebra Felʹdman, N. I. American Mathematical Society	7 図書 Mathematical logic for computer science Ben-Ari, M., 1948- Prentice Hall
2 図書 Five papers on logic and foundations T︠S︡eĭtin, G. S. American Mathematical Society	8 図書 Studies in logic Peirce, Charles S. (Charles Sanders), 1839-1914, Johns Hopkins University John Benjamins
3 図書 Eighteen papers on logic and theory of functions Aršon, I. S. American Mathematical Society	9 図書 Fourteen papers on logic, algebra, complex variables and topology Abramov, Leonid Mikhaĭlovich American Mathematical Society
4 図書 Nine papers on logic and group theory Berman, S. D. (Samuil Davidovich), 1922-1987 American Mathematical Society	10 図書 Eleven papers on logic, algebra, analysis and topology Budak, B. M. (Boris Mikhaĭlovich) American Mathematical Society
5 図書 Selected logic papers Quine, W. V. (Willard Van Orman) Harvard University Press	11 図書 Lectures on linear logic Troelstra, A. S. (Anne Sjerp) Center for the Study of Language and Information
6 図書 Mathematical logic for computer science Ben-Ari, M., 1948- Springer	12 図書 Eight papers translated from the Russian Dalalyan, S. G., Silver, Ben American Mathematical Society