Advances in linear logic

>> Google Books

QRコード(所蔵情報)

Advances in linear logic

フォーマット:

図書

責任表示:

edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier

言語:

英語

出版情報:

Cambridge : Cambridge University Press, 1995

形態:

vi, 389 p. ; 24 cm

著者名:

シリーズ名:

London Mathematical Society lecture note series ; 222 <BA0005393X>

書誌ID:

BA25014224

ISBN:

9780521559614 [0521559618] (: pbk)

子書誌情報

所蔵情報

タイトル・著者・出版者が同じ資料

詳細

主題:	Logic, Symbolic and mathematical--Congresses
分類・件名:	LCC : QA9.A1 DDC : 511.3 NDC8 : 410.96 LCSH : Logic, Symbolic and mathematical -- Congresses
LCCN:	95016325
注記:	Based on the Linear Logic Workshop held June 14-18, 1993, at the Mathematical Sciences Institute, Cornell University, Ithaca Includes bibliographical references
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 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	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 図書 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	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 図書 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
4 雑誌 Studies in logic and the foundations of mathematics North-Holland Pub.	10 図書 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
5 図書 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	11 図書 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
6 図書 Proof theory and logical complexity Girard, Jean-Yves Bibliopolis	12 図書 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