Blank Cover Image
所蔵情報QRコード

Sets, models and recursion theory : proceedings of the summer school in mathematical logic and tenth logic colloquium leicester, August-September 1965 / edited by John N. Crossley

資料種別:
図書
出版情報:
Amsterdam : North-Holland, 1967
形態:
331 p. ; 23 cm
シリーズ名:
Studies in logic and the foundations of mathematics <BA00099329>
著者名:
Crossley, John N., 1937- <DA00749034>  
書誌ID:
BA13936300
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 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
7 図書 Logic, sets, and recursion

Causey, Robert L.

Jones and Bartlett
2 図書 Formal systems and recursive functions : proceedings of the eighth Logic Colloquium, Oxford, July 1963

Logic Colloquium, Crossley, John N., 1937-, Dummett, Michael A. E., 1925-

North-Holland
8 図書 Logic programming in action : Second international Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992 : proceedings (: gw ; : us)

Logic Programming Summer School, Comyn, G. (Gérard), Fuchs, N. E. (Norbert E.), Ratcliffe, M. (Michael)

Springer-Verlag
3 図書 Logic Colloquium '69 : Proceedings of the Summer school and Colloquium in Mathematical Logic, Manchester, August 1969

Logic Colloquium, Gandy, R. O., Yates, Charles Edmund Michael

North-Holland
9 図書 Combinatorial functors (: u.s. ; : gw)

Crossley, John N., 1937-, Nerode, Anil, 1932-

Springer-Verlag
4 図書 Constructive order types

Crossley, John N., 1937-

North-Holland Pub. Co.
10 図書 Set theory and logic

Fraenkel, Abraham Adolf, 1891-1965

Addison-Wesley Pub. Co
5 電子ブック Mathematical Logic and Model Theory

Prestel, Alexander, Delzell, Charles N., Delzell, Charles

SpringerLink Books - AutoHoldings, Springer London
11 電子ブック Cambridge Summer School in Mathematical Logic

A. R. D. Mathias, Rogers, H.

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
6 図書 Logic, sets, and recursion

Causey, Robert L.

Jones and Bartlett
12 図書 Chinese mathematics : a concise history

Li, Yen, 1892-1963, 杜, 石然(1929-), Crossley, John N., 1937-, Lun, Anthony Wah-Cheung

Clarendon Press
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12