Zachari Gleit

Publication Activity (10 Years)

Years Active: 1990-1990
Publications (10 Years): 0

Publications

Zachari Gleit, Warren D. Goldfarb
Characters and Fixed Points in Provability Logic. Notre Dame J. Formal Log. 31 (1) (1990)