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

Logic Colloquium : symposium on logic held at Boston, 1972-73

種類:
図書
責任表示:
edited by R. Parikh
出版情報:
Berlin ; New York : Springer-Verlag, 1975
著者名:
シリーズ名:
Lecture notes in mathematics ; 453 <BA00146586>
ISBN:
9783540071556 [3540071555] (: Germany)  CiNii Books  Calil
9780387071558 [0387071555] (: U.S.)  CiNii Books  Calil
注記:
Based on talks at the Boston Logic Colloquium in 1972-73
Includes bibliographies
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Logic Colloquium : Symposium on Logic held at Boston, 1972-73

Parikh, R., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
7 図書 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
2 図書 Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part II

Logic Colloquium, Müller, Gert Heinz, 1923-

Springer-Verlag
8 図書 Logics of programs : Brooklyn, June 17-19, 1985 : proceedings

Parikh, Rohit, 1936-

Springer-Verlag
3 図書 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
9 図書 Computational logic and proof theory : 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings

Kurt Gödel Colloquium, Gottlob, Georg, 1956-, Leitsch, Alexander, 1952-, Mundici, Daniele, 1946-

Springer
4 図書 Logic Colloquium '92

Logic Colloquium, Csirmaz, László, Gabbay, Dov M., 1945-, Rijke, Maarten de, Association for Symbolic Logic

CSLI Publications
10 図書 Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993 : proceedings

Kurt Gödel Colloquium, Gottlob, Georg, 1956-, Leitsch, Alexander, 1952-, Mundici, Daniele, 1946-, Kurt Gödel Society

Springer-Verlag
5 図書 Logic Colloquium '90

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

Springer-Verlag
11 図書 Cambridge Summer School in Mathematical Logic : held in Cambridge/England, August 1-21, 1971 : [papers]

Cambridge Summer School in Mathematical Logic, Mathias, A. R. D. (Adrian Richard David), 1944-, Rogers, H. (Hartley), &hellip;

Springer-Verlag
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 図書 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