Вы здесь

Главная

классический

Связанные издания:

Around a Powerful Property of Circumscriptions
A Unification of Ordering Refinements of Resolution in Classical Logic
Classical Proofs as Programs
Computation with Access to the Reals, but Using only Classical Machines
Differentiating Assumptions from Extra-Logical Axioms in Natural Deduction
Gentzen Calculi and Admissible Substitutions
TAS-D++: Syntactic Trees Transformations for Automated Theorem Proving
Typed Lambada Calculi and Applications: Proc./10th International Conference, TLCA 2011, Novi Sad, Serbia, June 2011
Well-Founded Semantics, Generalized
Классические группы. Их инварианты и представления