>> Google Books
twitter facebook Hatena
More Services
タイトル、所在が表示されます

Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980

フォーマット:
図書
責任表示:
edited by G.H. Müller, G. Takeuti, and T. Tugué
言語:
英語
出版情報:
Berlin ; New York : Springer-Verlag, 1981
形態:
xi, 394 p. ; 25 cm
著者名:
シリーズ名:
Lecture notes in mathematics ; 891 <BA00146586>
書誌ID:
BA04001552
子書誌情報
Loading
eリソース
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987

篠田, 壽一(1948-), Slaman, T. A. (Theodore Allen), 1954-, 柘植, 利之(1926-), Meeting on Mathematical Logic and its Applications

Springer-Verlag
7 図書 Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978

Latin-American Symposium on Mathematical Logic, Arruda, Ayda I., Costa, Newton C. A. da, Chuaqui, R.

North-Holland Pub. Co., sole distributors for the U.S.A. and Canada, Elsevier North-Holland
2 図書 Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part II

Logic Colloquium, Müller, G. H. (Gert Heinz), 1923-, Richter, Michael M., 1938-

Springer-Verlag
8 図書 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. (Walter Alexandre), Alcantara, Luiz Paulo de, &hellip;

American Mathematical Society
3 図書 Finite and infinite combinatorics in sets and logic : [proceedings of the NATO Advanced Study Institute on Finite and Infinite Combinatorics in Sets and Logic, …

NATO Advanced Study Institute on Finite and Infinite Combinatorics in Sets and Logic, Sauer, N. W. (Norbert W.), &hellip;

Kluwer Academic Publishers
9 図書 Logic Colloquium '84 : proceedings of the colloquium held in Manchester, U.K., July 1984

Logic Colloquium, Paris, J. B., Wilkie, A. J. (Alec J.), Wilmers, G. M.

North-Holland
4 図書 Southeast Asian Conference on Logic : proceedings of the Logic Conference, Singapore, 1981

Southeast Asian Conference on Logic (1981 : Singapore), Chong, Chi-Tat, 1949-, Wicks, M. J. (Malcolm John), 1928-

North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
10 図書 Logic and computer science : lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June …

Homer, S. (Steven), Odifreddi, Piergiorgio, 1950-, Centro internazionale matematico estivo. Session, C.I.M.E. Meeting on &hellip;

Springer-Verlag
5 図書 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
11 図書 Algebraic topology : proceedings of the international conference held March 21-24, 1988

International Conference on Algebraic Topology, Mahowald, M. E. (Mark E.), 1931-, Priddy, Stewart, 1940-

American Mathematical Society
6 図書 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
12 図書 Recursion theory week : proceedings of a conference held in Oberwolfach, FRG, March 19-25, 1989

Ambos-Spies, K. (Klaus), Müller, G. H. (Gert Heinz), 1923-, Sacks, Gerald E., 1933-

Springer-Verlag