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

Notes on logic

種類:
図書
責任表示:
by Roger C. Lyndon
出版情報:
Princeton, N.J. : Van Nostrand, c1966
著者名:
Lyndon, Roger C. <DA01105161>  
シリーズ名:
Van Nostrand mathematical studies ; 6 <BA06605755>
注記:
Bibliography: p. 91-92
Includes indexes
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 LOGIC FOR MATHEMATICIANS

HAMILTON, A. G.

CAMBRIDGE UNIV. PRESS
7 図書 ASPECTS OF INDUCTIVE LOGIC

<ED. BY> HINTIKKA, JAAKKO <ET AL.>

NORTH-HOLLAND
2 図書 MATHEMATICAL LOGIC.

BRAZILIAN CONFERENCE ON MATHEMATICAL LOGIC, 1ST, 1977
8 図書 INTRODUCTION TO MATHEMATICAL LOGIC

CHURCH, ALONZO

PRINCETON U.P.
3 図書 Mathematical logic

Quine, W. V. (Willard Van Orman), 1908-

Harvard University Press
9 図書 ELEMENTS OF LOGIC AND FOUNDATIONS OF MATHEMATICS IN PROBLEMS

MAREK, WIKTOR, ONYSZKIEWICZ, JANUSZ

D. REIDEL PUB.
4 図書 A survey of mathematical logic

Wang, Hao, 1921-

Science Press
10 図書 MATHEMATICAL LOGIC AND THEORETICAL COMPUTER SCIENCE

<ED. BY> KUEKER, DAVID W. <ET AL.>

MARCEL DEKKER
5 図書 Principles of mathematical logic

Hilbert, David, 1862-1943, Ackermann, Wilhelm, 1896-, Hammond, Lewis M, Leckie, George G., Steinhardt, F., Luce, Robert &hellip;

Chelsea Pub. Co.
11 図書 Mathematical logic and the foundations of mathematics : an introductory survey

Kneebone, Geoffrey Thomas

Van Nostrand
6 図書 A survey of mathematical logic

Wang, Hao, 1921-

Science Press, North-Holland
12 図書 First-order logic and automated theorem proving

Fitting, Melvin, 1942-

Springer-Verlag