>> Amazon.co.jp
このページのQRコード

Logic Colloquium '92

種類:
図書
責任表示:
edited by László Csirmaz, Dov M. Gabbay, and Maarten de Rijke
出版情報:
Stanford, Calif. : CSLI Publications, c1995
著者名:
シリーズ名:
Studies in logic, language and information <BA27233750>
ISBN:
9781881526971 [1881526976] (: cloth)  CiNii Books  Calil
9781881526988 [1881526984] (: paper)  CiNii Books  Calil
注記:
Held Aug. 9-15, 1992, Veszprém, Hungary; sponsored by the Association for Symbolic Logic
Includes bibliographical references and indexes
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Logic Colloquium '95 : proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995

Logic Colloquium, Makowsky, Johann A., 1948-, Ravve, Elena V., 1963-, Association for Symbolic Logic

Springer
7 図書 Applied logic : how, what and why : logical approaches to natural language

Pólos, László, Masuch, Michael, 1949-

Kluwer Academic Publishers
2 図書 Frontiers of combining systems

Gabbay, Dov M., 1945-, Rijke, Maarten de

Research Studies Press
8 図書 Elements of classical logic

Gabbay, Dov M., 1945-, Guenthner, Franz

D. Reidel, Sold and distributed in the U.S.A. and Canada by Kluwer Academic Pub.
3 図書 Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and …

IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications, Claesen, Luc J. M., &hellip;

North-Holland
9 図書 Alternatives to classical logic

Gabbay, Dov M., 1945-, Guenthner, Franz

D. Reidel, Sold and distributed in the U.S.A. and Canada by Kluwer Academic Publishers
4 図書 Logic Colloquium '90

Logic Colloquium, Oikkonen, J. (Juha), 1951-, Väänänen, J. (Jouko), 1950-

Springer-Verlag
10 図書 Extensions of classical logic

Gabbay, Dov M., 1945-, Guenthner, Franz

D. Reidel
5 図書 Logic Colloquium : symposium on logic held at Boston, 1972-73

Boston Logic Colloquium, Parikh, Rohit, 1936-

Springer-Verlag
11 図書 Handbook of philosophical logic

Gabbay, Dov M., 1945-, Guenthner, Franz

Kluwer Academic Publishers
6 図書 ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974

International Summer Institute and Logic Colloquium, Müller, G. H. (Gert Heinz), 1923-, Oberschelp, A, Potthoff, Klaus

Springer-Verlag
12 図書 Elements of classical logic

Gabbay, Dov M., 1945-, Guenthner, Franz

Kluwer Academic