Jump to main content

yr 〜
yr

Search results 23

Recursion theory week : proceedings of a conference held in Oberwolfach, FRG, March 19-25, 1989 : gw : us

Recursion theory week : proceedings of a conference held in Oberwolfach, FRG, March 19-25, 1989 : gw : us
Paper図書
K. Ambos-Spies, G.H. Müller, G.E. Sacks (eds.)Springer-Verlagc1990
Other Libraries in Japan
  • Author Heading (ID)...7CDA04553770 DA00402693 https://ci.nii......ac.jp/author/DA00402693#entity https:/......urceID/NII%7CDA00402693 DA01152707 https://ci.nii.ac....

Classical logic : Germany : U.S.

Classical logic : Germany : U.S.
Paper図書
Wolfgang Rautenberg (editor)Springer-Verlagc1987
Other Libraries in Japan
  • Author Heading (ID)DA00402693 https://ci.nii......ac.jp/author/DA00402693#entity https:/......urceID/NII%7CDA00402693 DA01327050 https://ci.nii.ac....

Set theory : Germany : U.S.

Set theory : Germany : U.S.
Paper図書
Andreas R. Blass (editor)Springer-Verlagc1987
Other Libraries in Japan
  • Author Heading (ID)DA00402693 https://ci.nii......ac.jp/author/DA00402693#entity https:/......urceID/NII%7CDA00402693 DA01327050 https://ci.nii.ac....

Recursion theory : Germany : U.S.

Recursion theory : Germany : U.S.
Paper図書
Peter G. Hinman (editor)Springer-Verlagc1987
Other Libraries in Japan
  • Author Heading (ID)DA00402693 https://ci.nii......ac.jp/author/DA00402693#entity https:/......urceID/NII%7CDA00402693 DA01327050 https://ci.nii.ac....

Non-classical logics : Germany : U.S.

Non-classical logics : Germany : U.S.
Paper図書
Wolfgang Rautenberg (editor)Springer-Verlagc1987
Other Libraries in Japan
  • Author Heading (ID)DA00402693 https://ci.nii......ac.jp/author/DA00402693#entity https:/......urceID/NII%7CDA00402693 DA01327050 https://ci.nii.ac....

Model theory : Germany : U.S.

Model theory : Germany : U.S.
Paper図書
Heinz-Dieter Ebbinghaus (editor)Springer-Verlagc1987
Other Libraries in Japan
  • Author Heading (ID)DA00402693 https://ci.nii......ac.jp/author/DA00402693#entity https:/......urceID/NII%7CDA00402693 DA01327050 https://ci.nii.ac....

Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984 : gw : us

Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984 : gw : us
Paper図書
edited by H.-D. Ebbinghaus, G.H. Müller and G.E. SacksSpringer-Verlagc1985
Other Libraries in Japan
  • Author Heading (ID)...7CDA01152707 DA00402693 https://ci.nii......ac.jp/author/DA00402693#entity https:/......urceID/NII%7CDA00402693

Proof theory, constructive mathematics : Germany : U.S.

Proof theory, constructive mathematics : Germany : U.S.
Paper図書
Jane E. Kister, Dirk van Dalen & Anne S. Troelstra (editors)Springer-Verlagc1987
Other Libraries in Japan
  • Author Heading (ID)DA00402693 https://ci.nii......ac.jp/author/DA00402693#entity https:/......urceID/NII%7CDA00402693 DA01327050 https://ci.nii.ac....

Models and sets : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part I : us : gw

Models and sets : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part I : us : gw
Paper図書
edited by G.H. Müller and M.M. RichterSpringer-Verlag1984
Other Libraries in Japan
  • Author Heading (ID)...7CDA00307794 DA00402693 https://ci.nii......ac.jp/author/DA00402693#entity https:/......urceID/NII%7CDA00402693 DA01907786 https://ci.nii.ac....

Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part II : gw : us

Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part II : gw : us
Paper図書
edited by M.M. Richter ... [et al.]Springer-Verlag1984
Other Libraries in Japan
  • Author Heading (ID)...7CDA00307794 DA00402693 https://ci.nii......ac.jp/author/DA00402693#entity https:/......urceID/NII%7CDA00402693 DA01907786 https://ci.nii.ac....

Higher set theory : proceedings, Oberwolfach, Germany, April 13-23, 1977 : Berlin : New York

Higher set theory : proceedings, Oberwolfach, Germany, April 13-23, 1977 : Berlin : New York
Paper図書
edited by G.H. Müller and D.S. ScottSpringer-Verlag1978
Other Libraries in Japan
  • Author Heading (ID)DA00402693 https://ci.nii......ac.jp/author/DA00402693#entity https:/......urceID/NII%7CDA00402693 DA02994618 https://ci.nii.ac....

Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 : Berlin : New York

Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 : Berlin : New York
Paper図書
edited by G.H. Müller, G. Takeuti, and T. TuguéSpringer-Verlag1981
Other Libraries in Japan
  • Author Heading (ID)...7CDA03126581 DA00402693 https://ci.nii......ac.jp/author/DA00402693#entity https:/......urceID/NII%7CDA00402693 DA00113867 https://ci.nii.ac....

Sets and classes : on the work by Paul Bernays

Sets and classes : on the work by Paul Bernays
Paper図書
edited by Gert H. Müllerc1976
Other Libraries in Japan
  • Author Heading (ID)...7CDA01959065 DA00402693 https://ci.nii......ac.jp/author/DA00402693#entity https:/......urceID/NII%7CDA00402693

Sets and classes : on the work by Paul Bernays

Sets and classes : on the work by Paul Bernays
Paper図書
edited by Gert H. MüllerNorth-Holland Pub. Co.1976
Other Libraries in Japan
  • Author Heading (ID)...7CDA01959065 DA00402693 https://ci.nii......ac.jp/author/DA00402693#entity https:/......urceID/NII%7CDA00402693

ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 : gw : u.s.

ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 : gw : u.s.
Paper図書
edited by G.H. Müller, A. Oberschelp, K. PotthoffSpringer-Verlag1975
Other Libraries in Japan
  • Author Heading (ID)...7CDA00402591 DA00402693 https://ci.nii......ac.jp/author/DA00402693#entity https:/......urceID/NII%7CDA00402693 DA00402729 https://ci.nii.ac....

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 : gw : u.s.

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 : gw : u.s.
Paper図書
edited by J. Diller and G.H. MüllerSpringer-Verlag1975
Other Libraries in Japan
  • Author Heading (ID)...7CDA00403073 DA00402693 https://ci.nii......ac.jp/author/DA00402693#entity https:/......urceID/NII%7CDA00402693 DA00402591 https://ci.nii.ac....

The study of time : Proceedings of the first conference of the International Society for the Study of Time, Oberwolfach (Black Forest), West Germany : pbk

The study of time : Proceedings of the first conference of the International Society for the Study of Time, Oberwolfach (Black Forest), West Germany : pbk
Paper図書
edited by J.T. Fraser, F.C. Haber, G.H. MüllerSpringer-Verlag1972
Other Libraries in Japan
  • Author Heading (ID)...7CDA0077959X DA00402693 https://ci.nii......ac.jp/author/DA00402693#entity https:/......urceID/NII%7CDA00402693

長歌軌範 巻上,中,下

長歌軌範 巻上,中,下
PaperDigital図書障害者向け資料あり
磤稲綺道秀 著長歌軌範刊行会昭和5<214-294>
Available onlineNational Diet Library
  • Author Heading (ID)00402693
  •  
  •  
  •  
  •  
  •  
    •  

The study of time [v. 1] : gw [v. 1] : us 2 : gw 2 : us 3 : gw 3 : us 4 : gw 4 : us

The study of time [v. 1] : gw [v. 1] : us 2 : gw 2 : us 3 : gw 3 : us 4 : gw 4 : us
Paper図書
Springer-Verlag1972-
Other Libraries in Japan
  • Author Heading (ID)...7CDA0077959X DA00402693 https://ci.nii......ac.jp/author/DA00402693#entity https:/......urceID/NII%7CDA00402693 DA00779501 https://ci.nii.ac....

日本の女

日本の女
PaperMicroformDigital図書障害者向け資料あり
磤稲綺道秀 著千珊閣大正12<514-167>
Available onlineNational Diet LibraryOther Libraries in Japan
  • Author Heading (ID)00402693
RSS