Blank Cover Image
このページのQRコード

The Calculi of symbolic logic, 1

種類:
図書
責任表示:
edited by V.P. Orevkov ; [translated from the Russian by A. Yablonsky]
出版情報:
Providence, R.I. : American Mathematical Society, 1971
著者名:
Orevkov, V. P. <DA04732747>  
シリーズ名:
Proceedings of the Steklov Institute of Mathematics ; no. 98, 1968 <BA00273914>
注記:
Includes bibliographies
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Sixteen papers on logic and algebra

Baranskiĭ, V. A.

American Mathematical Society
7 図書 Selected works, Jan Lukasiewicz

Łukasiewicz, Jan, Borkowski, Ludwik

North-Holland
2 図書 Twelve papers in logic and algebra

Lavrik, A. F.

American Mathematical Society
8 図書 Elements of symbolic logic

Reichenbach, Hans, 1891-1953

Macmillan
3 図書 Logic of programs : workshop, ETH Zürich, May-July 1979

Engeler, Erwin, 1930-, Eidgenössische Technische Hochschule Zürich

Springer
9 図書 An introduction to symbolic logic

Langer, Susanne Katherina Knauth, 1895-1985

Dover Publications
4 図書 Symbolic logic

Lewis, Clarence Irving, 1883-1964, Langford, Cooper Harold, 1895-

Dover
10 図書 SYMBOLIC LOGIC AND INTELLIGENT MACHINES

BERKELEY, EDMUND C.

REINHOLD
5 図書 Symbolic logic ; and, The game of logic

Carroll, Lewis, 1832-1898

Dover Publications
11 雑誌 The Journal of symbolic logic

Association for Symbolic Logic

Association for Symbolic Logic, Inc.
6 図書 Proceedings of the Tarski Symposium : an international symposium held to honor Alfred Tarski on the occasion of his seventieth birthday

Tarski Symposium, Henkin, Leon, University of California, Berkeley, Association for Symbolic Logic, International Union &hellip;

Published for the Association for Symbolic Logic by the American Mathematical Society
12 電子ブック Gentzen Calculi for Modal Propositional Logic [e-books]

Poggiolesi, Francesca, SpringerLink (Online service)

Springer Science+Business Media B.V.