>> 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
 
1 電子ブック ISILC - Proof Theory Symposion : Dedicated to Kurt Schütte on the Occasion of His 65th Birthday. Proceedings of the International Summer Institute and Logic …

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

Springer Berlin Heidelberg : Imprint: Springer
7 電子ブック Atomic Physics Methods in Modern Research : Selection of Papers Dedicated to Gisbert zu Putlitz on the Occasion of his 65th Birthday

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

Springer Berlin Heidelberg : Imprint: Springer
2 図書 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
8 電子ブック Singularities, Algebraic Geometry, Commutative Algebra, and Related Topics : Festschrift for Antonio Campillo on the Occasion of his 65th Birthday

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

Springer International Publishing : Imprint: Springer
3 電子ブック ISILC - Logic Conference : Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974

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

Springer Berlin Heidelberg : Imprint: Springer
9 電子ブック Analysis as a Life : Dedicated to Heinrich Begehr on the Occasion of his 80th Birthday

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

Springer International Publishing : Imprint: Birkhäuser
4 図書 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
10 図書 Logic and language : studies dedicated to professor Rudolf Carnap on the occasion of his seventieth birthday

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

D. Reidel
5 電子ブック Commutative Algebra : Expository Papers Dedicated to David Eisenbud on the Occasion of His 65th Birthday

Peeva, Irena, SpringerLink (Online service)

Springer New York : Imprint: Springer
11 図書 Proof theory

Schütte, K. (Kurt)

Springer-Verlag
6 電子ブック Generalized Functions and Fourier Analysis : Dedicated to Stevan Pilipović on the Occasion of his 65th Birthday

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

Springer International Publishing : Imprint: Birkhäuser
12 電子ブック Positivity and Noncommutative Analysis : Festschrift in Honour of Ben de Pagter on the Occasion of his 65th Birthday

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

Springer International Publishing : Imprint: Birkhäuser