Jump to main content

yr 〜
yr

Search results 5

Undecidable theories Dover ed

Undecidable theories Dover ed
Paper図書
Alfred Tarski, in collaboration with Andrzej Mostowski and Raphael M. RobinsonDover Publications2010, c1953
Other Libraries in Japan
  • Author HeadingTarski, Alfred Mostowski, Andrzhei︠a︡ Robinson, Raphael M. (Raphael Mitchel)

Undecidable theories 3rd printing

Undecidable theories 3rd printing
Paper図書
by Alfred Tarski ; in collaboration with Andrzej Mostowski and Raphael M. RobinsonNorth-Holland1971, c1953
Other Libraries in Japan
  • Author HeadingTarski, Alfred Mostowski, Andrzhei︠a︡ Robinson, Raphael M. (Raphael Mitchel)

Undecidable theories [2d printing]

Undecidable theories [2d printing]
Paper図書
In collaboration with Andrzej Mostowski and Raphael M. RobinsonNorth-Holland Pub. Co.1968
Other Libraries in Japan
  • Author HeadingTarski, Alfred Mostowski, Andrzej Robinson, Raphael M. (Raphael Mitchel)

Table of factors of numbers one unit larger than small multiples of power of two

Table of factors of numbers one unit larger than small multiples of power of two
Paper図書
by Raphael M. RobinsonUniversity of California[1957]
Other Libraries in Japan
  • Author HeadingRobinson, Raphael M. (Raphael Mitchel)

Undecidable theories

Undecidable theories
Paper図書
by Alfred Tarski ; in collaboration with Andrzej Mostowski and Raphael M. RobinsonNorth-Holland Pub. Co.1953
Other Libraries in Japan
  • Author HeadingTarski, Alfred Mostowski, Andrzhei︠a︡ Robinson, Raphael M. (Raphael Mitchel)

Reached to the end of result.

RSS