Blank Cover Image

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

フォーマット:
図書
責任表示:
edited by J.N. Crossley and M.A.E. Dummett
言語:
英語
出版情報:
Amsterdam : North-Holland, 1965
形態:
320 p. ; 23 cm
著者名:
シリーズ名:
Studies in logic and the foundations of mathematics <BA00099329>
書誌ID:
BA0475667X
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Sets, models and recursion theory : proceedings of the summer school in mathematical logic and tenth logic colloquium leicester, August-September 1965

Crossley, John N., 1937-

North-Holland
7 図書 Systems of Formal Logic Staudies in Logic

Hackstaff
2 図書 Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976

Logic Colloquium, Gandy, R. O., Hyland, John Martin Elliott

North-Holland Pub. Co., Sole distributors for U.S.A. and Canada, Elsevier North-Holland
8 図書 Systems of Formal Logic.

Hackstaff
3 図書 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
9 図書 MATHEMATICAL LOGIC AND FORMAL SYSTEMS : A COLLECTION OF PAPERS IN HONOR OF PROFESSOR NEWTON C. A. DA COSTA

ALCANTARA, L. P. DE, COSTA, N. C. A. DA

M.DEKKER
4 図書 Constructive order types

Crossley, John N., 1937-

North-Holland Pub. Co.
10 図書 Engebnusse der Math 81

Crossley
5 図書 Systems of Formal Logic.

Hackstaff,L.H.
11 図書 HOLOMORPHIC DYNAMICS : PROCEEDINGS OF THE 2ND INTERNATIONAL COLLOQUIUM ON DYNAMICAL SYSTEMS, HELD IN MEXICO, JULY 1986

GOMEZ-MONT, X, SEADE, J, INTERNATIONAL COLLOQUIUM ON DYNAMICAL SYSTEMS. 1986, 2ND, MEXICO

SPRINGER-VLG
6 図書 Logic colloquium '73 : proceedings of the Logic Colloquium, Bristol, July 1973

Logic Colloquium, Rose, Harvey Ernest, Shepherdson, John Cedric, Association for Symbolic Logic

North-Holland Pub. Co, American Elsevier Pub. Co.
12 図書 Recursive function theory and logic

Yasuhara, Ann

Academic Press