Login / Signup
Jean-François Pabion
Publication Activity (10 Years)
Years Active: 1979-1982
Publications (10 Years): 0
</>
Publications
</>
Jean-François Pabion
Saturated Models of Peano Arithmetic.
J. Symb. Log.
47 (3) (1982)
Jean-François Pabion
Beth's tableaux for relevant logic.
Notre Dame J. Formal Log.
20 (4) (1979)