Blank Cover Image
QRコード(所蔵情報)

Studies in logic and the foundations of mathematics

フォーマット:
雑誌
出版情報:
Amsterdam : North-Holland Pub., 1956
形態:
v. : 24cm
巻次(年次):
(1962)-
書誌ID:
AA00851874
子書誌情報
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 図書 Proceedings of the Conference "Algebra and Logic," Zagreb, 1984

Conference "Algebra and Logic", Stojaković, Zoran, Institut za matematiku (Novi Sad, Serbia)

Institute of Mathematics, University of Novi Sad
2 図書 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, …

American Mathematical Society
8 図書 Logic, methodology and philosophy of science IV : Proceedings

International Congress of Logic, Methodology and Philosophy of Science, Suppes, Patrick, 1922-, International Union of …

North-Holland Pub. Co., American Elsevier Pub. Co.
3 図書 Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, …

Brazilian Conference on Mathematical Logic, Carnielli, Walter A. (Walter Alexandre), D'Ottaviano, Itala M. L., 1944-

American Mathematical Society
9 図書 Advances in logic : the North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas

North Texas Logic Conference, Gao, Su, 1968-, Jackson, Steve, 1957-, Zhang, Yi, 1964 Aug. 22-

American Mathematical Society
4 図書 Models, algebras, and proofs : selected papers of the X Latin American Symposium on Mathematical Logic held in Bogotá

Latin-American Symposium on Mathematical Logic, Caicedo, Xavier, 1944-, Montenegro, Carlos H., 1958-

Marcel Dekker
10 図書 Models and computability : invited papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997

Logic Colloquium, Cooper, S. B. (S. Barry), Truss, J. K, Association for Symbolic Logic

Cambridge University Press
5 図書 Studies in logic and the foundations of mathematics

North-Holland
11 図書 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
6 図書 Advances in linear logic

Girard, Jean-Yves, Lafont, Yves, Regnier, Laurent, Linear Logic Workshop

Cambridge University Press
12 図書 Logic from computer science : proceedings of a workshop held November 13-17, 1989

Moschovakis, Yiannis N., 1938-, Workshop on Logic from Computer Science

Springer-Verlag