Jump to main content

yr 〜
yr

Search results 4

Principles of logic and logic programming

Principles of logic and logic programming
Paper図書
G. Metakides, A. Nerode ; with the cooperation of A. SinachopoulosElsevier1996
Other Libraries in Japan
  • Author HeadingMetakides, George Nerode, Anil Sinochopoulos, A...

Errett Bishop : reflections on him and his research

Errett Bishop : reflections on him and his research
Paper図書
Murray Rosenblatt, editorAmerican Mathematical Societyc1985
Other Libraries in Japan
  • Author Heading...g Nerode, Anil Metakides, George Constable, Robert Metakides, ...

Patras Logic Symposion : proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980 : us

Patras Logic Symposion : proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980 : us
Paper図書
edited by George MetakidesNorth-Holland Pub. Co.1982
Other Libraries in Japan
  • Author HeadingLogic Symposion Metakides, George

Patras Logic Symposion : proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980 / edited by George Metakides. (Studies in logic and the foundations of mathematics ; v. 109)

Patras Logic Symposion : proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980 / edited by George Metakides. (Studies in logic and the foundations of mathematics ; v. 109)
Paper図書
North-Holland Pub. Co.1982.<M15-A580>
National Diet Library
  • Author HeadingLogic Symposion (1980 : Pátrai, Greece) Metakides, George, 1945-

Reached to the end of result.

RSS