Jump to main content

yr 〜
yr

Search results 3

Tableau systems for first order number theory and certain higher order theories / Sue Toledo. (Lecture notes in mathematics ; 447)

Tableau systems for first order number theory and certain higher order theories / Sue Toledo. (Lecture notes in mathematics ; 447)
Paper図書
Springer-Verlag1975.<MA41-87>
National Diet LibraryOther Libraries in Japan

Tableau systems for first order number theory and certain higher order theories : Germany : U.S.

Tableau systems for first order number theory and certain higher order theories : Germany : U.S.
Paper図書
Sue ToledoSpringer-Verlag1975
Other Libraries in Japan

Lecture notes in mathematics

Lecture notes in mathematics
Paper図書
Springer-Verlag
Other Libraries in Japan
  • Related Material...ameter systems Tableau systems for first order number theory and certain higher order theories Accélération de la convergenc...

Reached to the end of result.

RSS