【Created on October 31, 2023】Integration of CiNii Books into CiNii Research

Impact of the Release of the New "NDL Search" on CiNii Services

International Summer Institute and Logic Colloquium

ID:DA00402591

Alias Name: ISILC

Search authors sharing the same name

Search Results1-2 of 2

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 Colloquium, Kiel, 1974

edited by J. Diller and G.H. Müller

Springer-Verlag 1975 Lecture notes in mathematics 500

: gw , : u.s.

Available at 69 libraries
2

ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974

edited by G.H. Müller, A. Oberschelp, K. Potthoff

Springer-Verlag 1975 Lecture notes in mathematics 499

: gw , : u.s.

Available at 74 libraries

Search this author

Related Authors