Hubert H. Schneider

On generating the finitely satisfiable formulas

Arthur M. Bullock, Hubert H. Schneider, 1973, Notre Dame J. Formal Log..

A deduction system for the full first-order predicate logic

Hubert H. Schneider, 1976, Notre Dame J. Formal Log..

Substitutions for predicate variables and functional variables

Hubert H. Schneider, 1980, Notre Dame J. Formal Log..

Semantics of the predicate calculus with identity and the validity in the empty individual-domain

Hubert H. Schneider, 1958 .

A syntactical characterization of the predicate calculus with identity and the validity in all individual-domains

Hubert H. Schneider, 1961 .