Mathematical logic

Mathematical logic

フォーマット:
図書
責任表示:
edited by Petio Petrov Petkov
本文言語:
英語
説明:
x, 412 p.; 26 cm
出版情報:
New York, United States. c1990. Plenum Press
本文を見る
所蔵情報
Loading availability information

類似資料:

1
Proceedings of the third Scandinavian Logic Symposium by Scandinavian Logic Symposium; Kanger, Stig
7
Logic year 1979-80 : the University of Connecticut, USA by Lerman, M.; Schmerl, J. H.; Soare, R. I.
2
Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987 by 篠田, 壽一; Slaman, T. A.; 柘植, 利之; Meeting on Mathematical Logic and its Applications
8
Advances in logic : the North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas by North Texas Logic Conference; Gao, Su, 1968-; Jackson, Steve, 1957-; Zhang, Yi, 1964 Aug. 22-
3
Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985 by Carnielli, Walter A.; Alcantara, Luiz Paulo de, 1944-; Sociedade Brasileira de Lógica; Sociedade Brasileira de …
4
Advances in linear logic by Girard, Jean-Yves; Lafont, Yves; Regnier, Laurent; Linear Logic Workshop
5
Southeast Asian Conference on Logic : proceedings of the Logic Conference, Singapore, 1981 by Southeast Asian Conference on Logic; Chong, Chi-Tat, 1949-; Wicks, M. J.
11
Logic Colloquium '95 : proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995 by Logic Colloquium; Makowsky, Johann A., 1948-; Ravve, Elena V., 1963-; Association for Symbolic Logic
6
Logic colloquium '73 : proceedings of the Logic Colloquium, Bristol, July 1973 by Logic Colloquium; Rose, Harvey Ernest; Shepherdson, John Cedric; Association for Symbolic Logic
1.
Proceedings of the third Scandinavian Logic Symposium by Scandinavian Logic Symposium; Kanger, Stig
2.
Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987 by 篠田, 壽一; Slaman, T. A.; 柘植, 利之; Meeting on Mathematical Logic and its Applications
3.
Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985 by Carnielli, Walter A.; Alcantara, Luiz Paulo de, 1944-; Sociedade Brasileira de Lógica; Sociedade Brasileira de …
4.
Advances in linear logic by Girard, Jean-Yves; Lafont, Yves; Regnier, Laurent; Linear Logic Workshop
5.
Southeast Asian Conference on Logic : proceedings of the Logic Conference, Singapore, 1981 by Southeast Asian Conference on Logic; Chong, Chi-Tat, 1949-; Wicks, M. J.
6.
Logic colloquium '73 : proceedings of the Logic Colloquium, Bristol, July 1973 by Logic Colloquium; Rose, Harvey Ernest; Shepherdson, John Cedric; Association for Symbolic Logic
7.
Logic year 1979-80 : the University of Connecticut, USA by Lerman, M.; Schmerl, J. H.; Soare, R. I.
8.
Advances in logic : the North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas by North Texas Logic Conference; Gao, Su, 1968-; Jackson, Steve, 1957-; Zhang, Yi, 1964 Aug. 22-
11.
Logic Colloquium '95 : proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995 by Logic Colloquium; Makowsky, Johann A., 1948-; Ravve, Elena V., 1963-; Association for Symbolic Logic