Blank Cover Image
所蔵情報QRコード

Elements of mathematical logic / Jan Łukasiewicz ; translated from Polish by Olgierd Wojtasiewicz

版:
2nd ed
資料種別:
図書
出版情報:
Oxford : Pergamon Press, c1963
形態:
xi, 124 p. ; 23 cm
シリーズ名:
International series of monographs on pure and applied mathematics ; v. 31 <BA00998837>
著者名:
書誌ID:
BA11352852
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 Elements of mathematical logic and set theory

Słupecki, Jerzy, Borkowski, Ludwik, Wojtasiewicz, Olgierd

Pergamon Press
7 図書 Algebraic logic

Gindikin, Semen Grigorʹevich, Silverman, Robert H.

Springer-Verlag
2 図書 Cybernetics without mathematics

Greniewski, Henryk., Wojtasiewicz, Olgierd

Pergamon
8 図書 From logic design to logic programming : theorem proving techniques and P-functions (: gw ; : us)

Snyers, Dominique, 1959-, Thayse, André, 1940-

Springer-Verlag
3 図書 Aristotle's syllogistic from the standpoint of modern formal logic

Łukasiewicz, Jan

Clarendon Press
9 図書 Logic : form and function : the mechanization of deductive reasoning

Robinson, J. A. (John Alan)

University Press
4 図書 Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia (: Germany ; : U.S.)

Crossley, John N., 1937-, Australian Mathematical Society

Springer-Verlag
10 図書 Foundations of constructive mathematics : metamathematical studies (U.S. ; Germany ; : pbk)

Beeson, Michael J., 1945-

Springer-Verlag
5 図書 数理論理学 = Mathematical logic

戸次, 大介(1973-)

東京大学出版会
11 図書 The elements of mathematical logic

Rosenbloom, Paul C.

Dover Pub.
6 図書 計算理論と数理論理学 = Mathematics of logic and computation

田中, 一之

共立出版
12 図書 Elements of mathematical logic

Novikov, P. S. (Petr Sergeevich)

Oliver & Boyd
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12