781
by Wright, G. H. von
Published 1951
Elsevier Science

782
by Rosser, J. Barkley
Published 1951
Elsevier Science

783
by Fraenkel, Abraham Adolf
Published 1953
North-Holland

784
by Reichenbach, Hans
Published 1954
North-Holland

785
by Heyting, A.
Published 1956
North-Holland

786
by Martin, R. M.
Published 1959
North-Holland

787
by Braffort, P.
Published 1959
North-Holland

788
by Goodstein, R. L.
Published 1961
North-Holland

789
by McCall, Storrs
Published 1963
North-Holland

790
by Wang, Hao
Published 1963
Elsevier Science

791
by Heyting, A.
Published 1966
North-Holland

794
by Bolyai, János
Published 1987
North-Holland

795
by Barwise, Jon
Published 1977
North-Holland Pub. Co.

796
by Kuang, Yang
Published 1993
Academic Press

797
by Albert, Arthur E.
Published 1972
Academic Press

798
by Bertsekas, Dimitri P.
Published 1976
Academic Press

799
by Matsuno, Yoshimasa
Published 1984
Academic Press

800
by Hong, Don
Published 2005
Elsevier Academic Press