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

Formal systems and recursive functions : proceedings of the eighth Logic Colloquium, Oxford, July 1963

種類:
図書
責任表示:
ed. by J. N. Crossley and M. A. E. Dummett
出版情報:
Amsterdam : North-Holland, 1965.
著者名:
シリーズ名:
Studies in logic and the foundations of mathematics <BA00099329>
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 MATHEMATICAL LOGIC AND FORMAL SYSTEMS : A COLLECTION OF PAPERS IN HONOR OF PROFESSER NEWTON C. A. DA COSTA

<ED. BY> ALCANTARA, LUIZ PAULO DE

MARCEL DEKKER
7 図書 Algorithms and recursive functions

Malʹt︠s︡ev, A. I. (Anatoliĭ Ivanovich), 1909-1967, Boron, Leo F., Sanchis, Luis E., Stillwell, John, 井関, 清志(1919-)

Wolters-Noordhoff
2 図書 Constructivity in mathematics : proceedings of the colloquium held at Amsterdam, 1957

International Colloquium "Constructivity in Mathematics", Heyting, A. (Arend), 1898-

North-Holland Publishing Co.
8 図書 新しい基礎数学

JOHN・N.FUJII;柴垣和三雄ほか訳

共立出版
3 図書 The two-valued iterative systems of mathematical logic

Post, Emil Leon, 1897-1954

Kraus Reprint
9 図書 LOGIC FOR MATHEMATICIANS

HAMILTON, A. G.

CAMBRIDGE UNIV. PRESS
4 図書 Mathematical analysis

Rassias, John Michael

Teubner
10 図書 MATHEMATICAL LOGIC.

BRAZILIAN CONFERENCE ON MATHEMATICAL LOGIC, 1ST, 1977
5 図書 Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia

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

Springer-Verlag
11 図書 Notes on logic

Lyndon, Roger C.

Van Nostrand
6 図書 Models and sets : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part I

Logic Colloquium, Müller, Gert Heinz, 1923-, Richter, Michael M., 1938-

Springer-Verlag
12 図書 Mathematical logic

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

Harvard University Press