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

ISILC Proof Theory Symposion : dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974

種類:
図書
責任表示:
edited by J. Diller and G.H. Müller
出版情報:
Berlin ; New York : Springer-Verlag, 1975
著者名:
シリーズ名:
Lecture notes in mathematics ; 500 <BA00146586>
ISBN:
9783540075332 [354007533X] (: gw)  CiNii Books  Calil
9780387075334 [038707533X] (: u.s.)  CiNii Books  Calil
注記:
Includes bibliographies
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 

Diller, J., Müller, G.H., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer

Oberguggenberger, Michael., Toft, Joachim., Vindas, Jasson., Wahlberg, Patrik., SpringerLink (Online service)

Springer International Publishing : Imprint: Birkhäuser

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

Springer-Verlag

Greuel, Gert-Martin., Narváez Macarro, Luis., Xambó-Descamps, Sebastià., SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Müller, G. H., Oberschelp, A., Potthoff, K., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer

Rogosin, Sergei., Çelebi, Ahmet Okay., SpringerLink (Online service)

Springer International Publishing : Imprint: Birkhäuser

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

Springer-Verlag

Bar-Hillel, Yehoshua, Kazemier, B. H., Vuysje, D.

D. Reidel

Peeva, Irena, SpringerLink (Online service)

Springer New York : Imprint: Springer

11 図書 Proof theory

Schütte, K. (Kurt)

Springer-Verlag

Jungmann, Klaus., Kowalski, Joachim., Reinhard, Irene., Traeger, Frank., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer

Buskes, Gerard., de Jeu, Marcel., Dodds, Peter., Schep, Anton., Sukochev, Fedor., van Neerven, Jan., Wickstead, &hellip;

Springer International Publishing : Imprint: Birkhäuser