Searching for authors named "Gaisi Takeuti" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

unknown title
by Pavel Pudlák, Gaisi Takeuti — 1990
… Mathematica/ lnstitute, Prague, Czechos/ovakia Gaisi Takeuti University 01 lllinois, Urbana, lL 61801, USA…
Add To MetaCart

Provably Total Functions in
by Bounded Arithmetic Theories, V, Samuel R. Buss, Gaisi Takeuti
… Institute Czechoslovakian Academy of Sciences Prague, Czechoslovakia Gaisi Takeuti # Department…
Add To MetaCart

b Mathematical /nstitute at Prague, Czechoslovakia
by Jan Krajíèek A, Gaisi Takeuti A
…Annals of Mathematics and Artificial Intelligence 6 (1992) 107-126 107 Jan Krajíèek a,b and Gaisi…
Add To MetaCart

Showing 1 through 3.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB