A DECISION PROCEDURE FOR SET-THEORETIC FORMULAE INVOLVING RANK AND CARDINALITY COMPARISON (CLASSIC REPRINT)

BEMESSUNG VON MAUERWERKSW NDEN UND STA (HB)

BON SADOMA NACH SEDAN

BON SADOMA NACH SEDAN (HB)

CATALOGUE OF THE APPRENTICES' LIBRARY, ESTABLISHED AND SUPPORTED BY THE GENERAL SOCIETY OF MECHANICS AND TRADESMEN OF THE CITY OF NEW YORK

CONTROL OF MULTIFINGER MANIPULATION

CONTROL OF MULTIFINGER MANIPULATION (HB)

DECISION ALGORITHMS FOR SOME FRAGMENTS O (PB)

DECISION ALGORITHMS FOR SOME FRAGMENTS OF ANALYSIS AND RELATED AREAS

DECISION ALGORITHMS FOR SOME FRAGMENTS OF ANALYSIS AND RELATED AREAS (HB)

DECISION PROCEDURES FOR ELEMENTARY SUBLA (PB)

DECISION PROCEDURES FOR ELEMENTARY SUBLA (PB)

DECISION PROCEDURES FOR ELEMENTARY SUBLANGUAGES OF SET THEORY

DECISION PROCEDURES FOR ELEMENTARY SUBLANGUAGES OF SET THEORY

DECISION PROCEDURES FOR ELEMENTARY SUBLANGUAGES OF SET THEORY. V. MULTILEVEL SYLLOGISTIC EXTENDED BY THE GENERAL UNION OPERATOR

DECISION PROCEDURES FOR ELEMENTARY SUBLANGUAGES OF SET THEORY. V. MULTILEVEL SYLLOGISTIC EXTENDED BY THE GENERAL UNION OPERATOR (HB)

DECISION PROCEDURES FOR ELEMENTARY SUBLANGUAGES OF SET THEORY. VI. MULTI-LEVEL SYLLOGISTIC EXTENDED BY THE POWERSET OPERATOR

DECISION PROCEDURES FOR ELEMENTARY SUBLANGUAGES OF SET THEORY. VI. MULTI-LEVEL SYLLOGISTIC EXTENDED BY THE POWERSET OPERATOR (HB)

DECISION PROCEDURES FOR ELEMENTARY SUBLANGUAGES OF SET THEORY. X. MULTILEVEL SYLLOGISTIC EXTENDED BY THE SINGLETON AND POWERSET OPERATORS

DECISION PROCEDURES FOR ELEMENTARY SUBLANGUAGES OF SET THEORY. X. MULTILEVEL SYLLOGISTIC EXTENDED BY THE SINGLETON AND POWERSET OPERATORS (HB)

DECISION PROCEDURES FOR ELEMENTARY SUBLANGUAGES OF SET THEORY. XI. MULTILEVEL SYLLOGISTIC EXTENDED BY SOME ELEMENTARY MAP CONSTRUCTS

DECISION PROCEDURES FOR ELEMENTARY SUBLANGUAGES OF SET THEORY. XIV. THREE LANGUAGES INVOLVING RANK RELATED CONSTRUCTS

DECISION PROCEDURES FOR ELEMENTARY SUBLANGUAGES OF SET THEORY. XIV. THREE LANGUAGES INVOLVING RANK RELATED CONSTRUCTS (HB)

DECISION PROCEDURES FOR ELEMENTARY SUBLANGUAGES OF SET THEORY; VI; MULTI-LEVEL SYLLOGISTIC EXTENDED BY THE POWERSET OPERATOR (CLASSIC REPRINT)

INDIVIDUAL AND MULTI-PROCESSING PERFORMANCE CHARACTERISTICS OF PROGRAMS ON LARGE PARALLEL COMPUTERS

INDIVIDUAL AND MULTI-PROCESSING PERFORMANCE CHARACTERISTICS OF PROGRAMS ON LARGE PARALLEL COMPUTERS (HB)

ON THE DECIDABILITY OF PRESBURGER ARITHMETIC WITH HOMOGENEOUS EXPONENTIATION (CLASSIC REPRINT)

PROGRAMMING CONSIDERATIONS FOR PARALLEL COMPUTERS

PROGRAMMING CONSIDERATIONS FOR PARALLEL COMPUTERS

PROGRAMMING CONSIDERATIONS FOR PARALLEL COMPUTERS (HB)

SET-THEORETIC REDUCTIONS OF HILBERT''S TE (PB)

SOME DECIDABILITY RESULTS ON QUANTIFIED SUBLANGUAGES OF SET THEORY (CLASSIC REPRINT)

THE AUTOMATION OF SYLLOGISTIC, VOL. 2: O (PB)