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

Two applications of logic to mathematics

種類:
図書
責任表示:
by Gaisi Takeuti
出版情報:
[Tokyo] : Iwanami Shoten
[Princeton, N.J.] : Princeton University Press, 1978
著者名:
竹内, 外史(1926-) <DA00113867>  
シリーズ名:
Publications of the Mathematical Society of Japan ; 13 . Kanō memorial lectures ; 3 <BA00465970>
ISBN:
9780691082127 [069108212X] (: us)  CiNii Books  Calil
注記:
Bibliography: p. [136]-137
Includes index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Algebraic methods of mathematical logic

Rieger, Ladislav, 1916-1963, Basch, Michael

Academia, Academic Press
7 図書 An algebraic introduction to mathematical logic

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

Springer-Verlag
2 電子ブック Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985

Latin-American Symposium on Mathematical Logic, Carnielli, Walter A., Alcantara, Luiz Paulo de,1944-, Sociedade &hellip;

American Mathematical Society
8 図書 Mathematics and logic for digital devices

Culbertson, James T. (James Thomas), 1911-

Van Nostrand
3 図書 Mathematical logic

Ebbinghaus, Heinz-Dieter, 1939-, Flum, Jörg, Thomas, Wolfgang

Springer-Verlag
9 図書 Mathematical logic for computer science

Ben-Ari, M., 1948-

Springer
4 図書 Mathematical logic

Monk, James Donald, 1930-

Springer-Verlag
10 図書 Introduction to mathematical logic

Mendelson, Elliott

Van Nostrand
5 図書 A mathematical introduction to logic

Enderton, Herbert B

Academic Press
11 図書 Mathematical logic for computer science

Ben-Ari, M., 1948-

Prentice Hall
6 図書 A course in mathematical logic

Manin, I︠U︡. I., Koblitz, Neal, 1948-

Springer
12 図書 Introduction to elementary mathematical logic

Stoli︠a︡r, A. A. (Abram Aronovich)

Dover Publications