Previale, Flavio Diversificazione delle specie di individuo nella logica del I ordine. (Italian) Zbl 0268.02007 Boll. Unione Mat. Ital., IV. Ser. 7, 443-452 (1973). MSC: 03B10 PDFBibTeX XMLCite \textit{F. Previale}, Boll. Unione Mat. Ital., IV. Ser. 7, 443--452 (1973; Zbl 0268.02007)
Hajek, Petr Why semisets? (English) Zbl 0268.02005 Commentat. Math. Univ. Carol. 14, 397-420 (1973). MSC: 03E70 03E30 03A05 03F99 PDFBibTeX XMLCite \textit{P. Hajek}, Commentat. Math. Univ. Carol. 14, 397--420 (1973; Zbl 0268.02005) Full Text: EuDML
Tverdokhlebova, N. N. Eine zahlentheoretische Methode zum Vergleich Boolescher Funktionen. (Russian) Zbl 0267.94043 Kibernetika, Kiev 1973, No. 3, 1-5 (1973). MSC: 94C10 03B05 PDFBibTeX XMLCite \textit{N. N. Tverdokhlebova}, Kibernetika 1973, No. 3, 1--5 (1973; Zbl 0267.94043)
Chinal, J. Design methods for digital systems. Translated from French by A. Preston and A. Summer. (English) Zbl 0267.94023 Berlin: Akademie-Verlag; Berlin-Heidelberg-New York: Springer-Verlag. XVIII, 506 p. with 310 figures and tables. M 88.00; DM 88.00; $ 36.10 (1973). MSC: 68Q45 03B05 94-02 68-02 03-01 94C10 94B99 PDFBibTeX XML
Cavadia, I. C. An algorithm for the formal calculus of Boolean expressions. II. (English) Zbl 0267.68023 Rev. Franc. Automat. Inform. Rech. Operat. 7, B-3, 63-84 (1973). MSC: 68W99 68Q45 94C10 03B05 03-04 PDFBibTeX XMLCite \textit{I. C. Cavadia}, Rev. Franc. Automat. Inform. Rech. Operat., B 7, No. 3, 63--84 (1973; Zbl 0267.68023)
Harrop, Ronald On simple, weak and strong models of propositional calculi. (English) Zbl 0267.02018 Proc. Camb. Philos. Soc. 74, 1-9 (1973). MSC: 03B99 03B05 PDFBibTeX XMLCite \textit{R. Harrop}, Proc. Camb. Philos. Soc. 74, 1--9 (1973; Zbl 0267.02018)
Radojevic, Predrag Les tautologies dans les regles des deduction. (Serbian) Zbl 0267.02006 Matematika, strucno-metod. Casopis 2, No. 3, 48-57 (1973). MSC: 03B05 PDFBibTeX XML
Hamblin, C. L. A felicitous fragment of the predicate calculus. (English) Zbl 0265.02008 Notre Dame J. Formal Logic 14, 433-447 (1973). MSC: 03B10 03C80 03B25 PDFBibTeX XMLCite \textit{C. L. Hamblin}, Notre Dame J. Formal Logic 14, 433--447 (1973; Zbl 0265.02008) Full Text: DOI
Morgan, Charles G. Truth, falsehood and contingency in first order predicate calculus. (English) Zbl 0265.02007 Notre Dame J. Formal Logic 14, 536-542 (1973). MSC: 03B10 PDFBibTeX XMLCite \textit{C. G. Morgan}, Notre Dame J. Formal Logic 14, 536--542 (1973; Zbl 0265.02007) Full Text: DOI
Iseki, Kiyoshi Symbolic logic. II: Predicate logic. (Japanese) Zbl 0265.02001 Tokyo: Maki Publisher. Pp. 1-3, 1-2, 305-568 (1973). MSC: 03-01 03B10 03B99 03Exx 03C68 PDFBibTeX XML
Talysly, S. M. Zum Problem der inversen logischen Operationen. (Russian) Zbl 0263.02009 Teor. logic. Vyvoda, 249-252 (1973). MSC: 03B05 03A05 PDFBibTeX XML
Fittler, Robert Categories with ultraproducts. (English) Zbl 0262.18002 Comment. Math. Helv. 48, 100-115 (1973). MSC: 18A15 03C68 PDFBibTeX XMLCite \textit{R. Fittler}, Comment. Math. Helv. 48, 100--115 (1973; Zbl 0262.18002) Full Text: DOI EuDML
Motohashi, Nobuyoshi A faithful interpretation of intuitionistic predicate logic in classical predicate logic. (English) Zbl 0262.02024 Comment. Math. Univ. St. Pauli 21, No. 2, 11-23 (1973). MSC: 03B55 03B10 PDFBibTeX XMLCite \textit{N. Motohashi}, Comment. Math. Univ. St. Pauli 21, No. 2, 11--23 (1973; Zbl 0262.02024)
Lorenz, Kuno Rules versus theorems. A new approach for mediation between intuitionistic and two-valued logic. (English) Zbl 0262.02008 J. Philos. Logic 2, 352-369 (1973). MSC: 03A05 03B55 03B05 PDFBibTeX XMLCite \textit{K. Lorenz}, J. Philos. Log. 2, 352--369 (1973; Zbl 0262.02008) Full Text: DOI
Hintikka, Jaakko Surface semantics: Definition and its motivation. (English) Zbl 0261.02007 Truth, Syntax, Modality, Proc. Temple Univ. Conf. alternat. Semantics 1970, Studies Logic Foundations Math. 68, 128-147 (1973). MSC: 03A05 03B10 03C68 PDFBibTeX XML
Bhowmik, Kanti Bhusan; Bhowmik, Bimal The P-table and its application to second and third-order simplification of Boolean functions. (English) Zbl 0261.02006 Int. J. Control, I. Ser. 18, 641-655 (1973). MSC: 03B05 94C10 PDFBibTeX XMLCite \textit{K. B. Bhowmik} and \textit{B. Bhowmik}, Int. J. Control, I. Ser. 18, 641--655 (1973; Zbl 0261.02006) Full Text: DOI
Marek, Wiktor Consistance d’une hypothèse de Fraisse sur la definissabilite dans un langage du second ordre. (French) Zbl 0259.02048 C. R. Acad. Sci., Paris, Sér. A 276, 1147-1150 (1973). MSC: 03E35 03E20 03B15 PDFBibTeX XMLCite \textit{W. Marek}, C. R. Acad. Sci., Paris, Sér. A 276, 1147--1150 (1973; Zbl 0259.02048)
Keisler, H. Jerome; Walkoe, Wilbur jun. The diversity of quantifier prefixes. (English) Zbl 0259.02007 J. Symb. Log. 38, 79-85 (1973). MSC: 03B10 03C68 03D55 PDFBibTeX XMLCite \textit{H. J. Keisler} and \textit{W. Walkoe jun.}, J. Symb. Log. 38, 79--85 (1973; Zbl 0259.02007) Full Text: DOI
Africk, Henry A proof theoretic proof of Scott’s general interpolation theorem. (English) Zbl 0258.02037 J. Symb. Log. 37(1972), 683-695 (1973). MSC: 03F99 03B10 03C68 PDFBibTeX XMLCite \textit{H. Africk}, J. Symb. Log. 37, 683--695 (1973; Zbl 0258.02037) Full Text: DOI
de Lillo, Nicholas J. A formal characterization of ordinal numbers. (English) Zbl 0258.02036 Notre Dame J. Formal Logic 14, 397-400 (1973). MSC: 03F15 03B99 03E30 03C68 PDFBibTeX XMLCite \textit{N. J. de Lillo}, Notre Dame J. Formal Logic 14, 397--400 (1973; Zbl 0258.02036) Full Text: DOI
Lehmann, Anne Two sets of perfect syllogisms. (English) Zbl 0257.02007 Notre Dame J. Formal Logic 14, 425-429 (1973). MSC: 03B05 PDFBibTeX XMLCite \textit{A. Lehmann}, Notre Dame J. Formal Logic 14, 425--429 (1973; Zbl 0257.02007) Full Text: DOI
Hamblin, C. L. Language types and logical theorems. (English) Zbl 0256.68037 Inform. and Control 22, 183-187 (1973). MSC: 68Q45 03B05 PDFBibTeX XMLCite \textit{C. L. Hamblin}, Inf. Control 22, 183--187 (1973; Zbl 0256.68037) Full Text: DOI
Myhill, John Embedding classical logic in intuitionistic logic. (English) Zbl 0255.02019 Z. Math. Logik Grundlagen Math. 19, 93-96 (1973). MSC: 03B55 03F99 03B10 PDFBibTeX XMLCite \textit{J. Myhill}, Z. Math. Logik Grundlagen Math. 19, 93--96 (1973; Zbl 0255.02019) Full Text: DOI
Hight, S. Lee Complex disjunctive decomposition of incompletely specified Boolean functions. (English) Zbl 0255.02005 IEEE Trans. Comput. 22, 103-110 (1973). MSC: 94C10 03B05 PDFBibTeX XMLCite \textit{S. L. Hight}, IEEE Trans. Comput. 22, 103--110 (1973; Zbl 0255.02005) Full Text: DOI
Motohashi, N. An extended relativization theorem. (English) Zbl 0254.02015 J. Math. Soc. Japan 25, 250-256 (1973). MSC: 03C75 03C68 PDFBibTeX XMLCite \textit{N. Motohashi}, J. Math. Soc. Japan 25, 250--256 (1973; Zbl 0254.02015) Full Text: DOI
Wendelin, Hermann Berichtigung zur Arbeit ”Kurzer Weg zur Bestimmung der durch eine Aussageverbindung dargestellten Wahrheitsfunktion”. (German) Zbl 0252.02005 J. Reine Angew. Math. 259, 220 (1973). MSC: 03B05 PDFBibTeX XMLCite \textit{H. Wendelin}, J. Reine Angew. Math. 259, 220 (1973; Zbl 0252.02005) Full Text: EuDML
Ponasse, Daniel Mathematical logic. Translated from the French. (English) Zbl 0252.02001 Notes on Mathematics and its Applications. New York-London-Paris: Gordon and Breach Science Publishers. X, 126 p. hbk: £3.95; pbk: £2.10 (1973). MSC: 03B05 03B10 03-01 PDFBibTeX XML
Meyers, Leroy F. Simultaneous versus successive quantification. (English) Zbl 0251.02017 Notre Dame J. Formal Logic 14, 247-249 (1973). MSC: 03C80 03B10 PDFBibTeX XMLCite \textit{L. F. Meyers}, Notre Dame J. Formal Logic 14, 247--249 (1973; Zbl 0251.02017) Full Text: DOI
Hiz, H. A completeness proof for C-calculus. (English) Zbl 0251.02013 Notre Dame J. Formal Logic 14, 253-258 (1973). MSC: 03B05 03C35 PDFBibTeX XMLCite \textit{H. Hiz}, Notre Dame J. Formal Logic 14, 253--258 (1973; Zbl 0251.02013) Full Text: DOI
Blum, Alex A correction in Copi’s account of Boolean normal forms. (English) Zbl 0251.02004 Notre Dame J. Formal Logic 14, 288 (1973). MSC: 03-01 03A05 03B05 PDFBibTeX XMLCite \textit{A. Blum}, Notre Dame J. Formal Logic 14, 288 (1973; Zbl 0251.02004) Full Text: DOI
Rasiowa, Helena Introduction to modern mathematics. Translated by Olgierd Wojtasiewicz. (English) Zbl 0251.00002 Amsterdam-London: North-Holland Publishing Comp.; New York: American Elsevier Publishing Comp., Inc. xii, 339 p. Dfl. 50.00; $ 17.50 (1973). MSC: 00A05 03B05 03B10 03-01 PDFBibTeX XML
Hermes, Hans Introduction to mathematical logic. Translated from the German by Diana Schmidt. (English) Zbl 0248.02003 Universitext. Berlin-Heidelberg-New York: Springer-Verlag. XI, 242 p. DM 28.00; $ 8.90 (1973). MSC: 03B10 03-01 03-XX PDFBibTeX XML
FitzPatrick, P. J. An extension of Venn diagrams. (English) Zbl 0247.02013 Notre Dame J. Formal Logic 14, 77-86 (1973). MSC: 03B05 03B25 PDFBibTeX XMLCite \textit{P. J. FitzPatrick}, Notre Dame J. Formal Logic 14, 77--86 (1973; Zbl 0247.02013) Full Text: DOI
Meredith, David On a property of certain propositional formulae. (English) Zbl 0247.02011 Notre Dame J. Formal Logic 14, 103-106 (1973). MSC: 03B05 PDFBibTeX XMLCite \textit{D. Meredith}, Notre Dame J. Formal Logic 14, 103--106 (1973; Zbl 0247.02011) Full Text: DOI
Bennett, David W. An elementary completeness proof for a system of natural deduction. (English) Zbl 0245.02043 Notre Dame J. Formal Logic 14, 430-432 (1973). MSC: 03B05 03B10 03C35 03F99 PDFBibTeX XMLCite \textit{D. W. Bennett}, Notre Dame J. Formal Logic 14, 430--432 (1973; Zbl 0245.02043) Full Text: DOI
Motohashi, N. Model theory on a positive second order logic with countable conjunctions and disjunctions. (English) Zbl 0244.02019 J. Math. Soc. Japan 25, 27-42 (1973). MSC: 03C68 03B15 03C75 PDFBibTeX XMLCite \textit{N. Motohashi}, J. Math. Soc. Japan 25, 27--42 (1973; Zbl 0244.02019) Full Text: DOI
Ehrich, H.-D. Minimale und m-minimale Variablenmengen für partielle Boole’sche Funktionen. (German) Zbl 0243.02008 Acta Inf. 2, 172-179 (1973). MSC: 03B05 94C10 PDFBibTeX XMLCite \textit{H. D. Ehrich}, Acta Inf. 2, 172--179 (1973; Zbl 0243.02008) Full Text: DOI
Grant, John Automorphisms definable by formulas. (English) Zbl 0241.02021 Pac. J. Math. 44, 107-115 (1973). MSC: 03C99 03B10 03C75 08Axx 20E36 PDFBibTeX XMLCite \textit{J. Grant}, Pac. J. Math. 44, 107--115 (1973; Zbl 0241.02021) Full Text: DOI
Bullock, Arthur M.; Schneider, Hubert H. On generating the finitely satisfiable formulas. (English) Zbl 0236.02014 Notre Dame J. Formal Logic 14, 373-376 (1973). MSC: 03B10 03C99 PDFBibTeX XMLCite \textit{A. M. Bullock} and \textit{H. H. Schneider}, Notre Dame J. Formal Logic 14, 373--376 (1973; Zbl 0236.02014) Full Text: DOI
Lee, J. M. The form of reductio ad absurdum. (English) Zbl 0236.02010 Notre Dame J. Formal Logic 14, 381-386 (1973). MSC: 03B05 03A05 PDFBibTeX XMLCite \textit{J. M. Lee}, Notre Dame J. Formal Logic 14, 381--386 (1973; Zbl 0236.02010) Full Text: DOI
Hamblin, C. L. A felicitous fragment of the predicate calculus. (English) Zbl 0214.00801 Notre Dame J. Formal Logic 14, 433-447 (1973). MSC: 03B10 03C80 03B25 PDFBibTeX XMLCite \textit{C. L. Hamblin}, Notre Dame J. Formal Logic 14, 433--447 (1973; Zbl 0214.00801) Full Text: DOI
Meyers, L. F. Simultaneous versus successive quantification. (English) Zbl 0212.01205 Notre Dame J. Formal Logic 14, 247-249 (1973). MSC: 03C80 03B10 PDFBibTeX XMLCite \textit{L. F. Meyers}, Notre Dame J. Formal Logic 14, 247--249 (1973; Zbl 0212.01205) Full Text: DOI
Meredith, David On a property of certain propositional formulae. (English) Zbl 0212.01103 Notre Dame J. Formal Logic 14, 103-106 (1973). MSC: 03B05 PDFBibTeX XMLCite \textit{D. Meredith}, Notre Dame J. Formal Logic 14, 103--106 (1973; Zbl 0212.01103) Full Text: DOI
FitzPatrick, P. J. An extension of Venn diagrams. (English) Zbl 0212.01102 Notre Dame J. Formal Logic 14, 77-86 (1973). MSC: 03B05 03B25 PDFBibTeX XMLCite \textit{P. J. FitzPatrick}, Notre Dame J. Formal Logic 14, 77--86 (1973; Zbl 0212.01102) Full Text: DOI
Morgan, Charles G. Sentential calculus for logical falsehoods. (English) Zbl 0198.01301 Notre Dame J. Formal Logic 14, 347-353 (1973). MSC: 03B05 PDFBibTeX XMLCite \textit{C. G. Morgan}, Notre Dame J. Formal Logic 14, 347--353 (1973; Zbl 0198.01301) Full Text: DOI
Stihi, Teodor Une généralisation du carre logique. (French) Zbl 0197.27301 Notre Dame J. Formal Logic 14, 215-223 (1973). MSC: 03B10 03B05 PDFBibTeX XMLCite \textit{T. Stihi}, Notre Dame J. Formal Logic 14, 215--223 (1973; Zbl 0197.27301) Full Text: DOI
Zuckerman, Martin M. Formation sequences for propositional formulas. (English) Zbl 0197.27203 Notre Dame J. Formal Logic 14, 134-138 (1973). MSC: 03B05 PDFBibTeX XMLCite \textit{M. M. Zuckerman}, Notre Dame J. Formal Logic 14, 134--138 (1973; Zbl 0197.27203) Full Text: DOI
Jones, Neil D.; Selman, Alan L. Turing machines and the spectra of first-order formulas with equality. (English) Zbl 0381.03026 Proc. 4th ann. ACM Symp. Theory Comput., Denver 1972, 157-167 (1972). MSC: 03D10 03B10 68Q05 PDFBibTeX XML
Wall, Robert Introduction to mathematical linguistics. (English) Zbl 0352.68085 Englewood Cliffs, N.J.: Prentice-Hall, Inc. XIV, 337 p. £9.80 (1972). MSC: 68-01 68Q45 68W99 03B05 03B10 05C05 PDFBibTeX XML
Löb, M. H. A reduction theorem for predicate logic. (English) Zbl 0347.02030 J. Symb. Log. 37, 352-354 (1972). MSC: 03B25 03B10 PDFBibTeX XMLCite \textit{M. H. Löb}, J. Symb. Log. 37, 352--354 (1972; Zbl 0347.02030) Full Text: DOI
Dumitriu, Anton Completeness and quantification. (English) Zbl 0341.02012 Int. Logic Review 1972, 207-221 (1972). MSC: 03B10 03C35 PDFBibTeX XML
Sanchez Mazas, Miguel Calcul arithmétique des propositions. (French) Zbl 0333.68064 Int. Logic Review 1972, 222-245 (1972). MSC: 68T15 03B05 PDFBibTeX XML
Ferro, Ruggero Le formule positive e negative, un teorema debole di sostituzione. (Italian) Zbl 0333.02010 Ist. Veneto Sci. Lett. Arti, Atti, Cl. Sci. Mat. natur. 130(1971-72), 401-423 (1972). MSC: 03B10 03C35 03C68 PDFBibTeX XML
Vakarelov, D. I. Extensional logics. (Russian) Zbl 0332.02012 C. r. Acad. Bulg. Sci. 25, 1609-1612 (1972). MSC: 03B05 03G05 PDFBibTeX XMLCite \textit{D. I. Vakarelov}, C. R. Acad. Bulg. Sci. 25, 1609--1612 (1972; Zbl 0332.02012)
Pasztor-Varga, K. On some minimizing algorithms of Boolean functions. (English) Zbl 0315.94048 Acta techn. Acad. Sci. Hungar. 73, 349-362 (1972). MSC: 94C10 03B05 PDFBibTeX XMLCite \textit{K. Pasztor-Varga}, Acta Tech. Acad. Sci. Hung. 73, 349--362 (1972; Zbl 0315.94048)
Cimev, K. N. Sur l’invariabilite des paires separables des fonctions. (Bulgarian) Zbl 0312.02013 God. Vissh. Tekh. Uchebn. Zaved., Mat. 8, No. 1, 129-136 (1972). MSC: 03B50 03B05 PDFBibTeX XMLCite \textit{K. N. Cimev}, God. Vissh. Tekh. Uchebn. Zaved., Mat. 8, No. 1, 129--136 (1972; Zbl 0312.02013)
Maslov, S. Yu. The inverse method and tactics for establishing deducibility for a calculus with functional symbols. (English. Russian original) Zbl 0305.68065 Proc. Steklov Inst. Math. 121, 11-60 (1972); translation from Trudy Mat. Inst. Steklov 121, 14-56 (1972). MSC: 68T15 03B10 PDFBibTeX XMLCite \textit{S. Yu. Maslov}, Proc. Steklov Inst. Math. 121, 11--60 (1972; Zbl 0305.68065); translation from Trudy Mat. Inst. Steklov 121, 14--56 (1972)
Zamov, N. K. On a bound for the complexity of terms in the resolution method. (English. Russian original) Zbl 0305.68064 Proc. Steklov Inst. Math. 121, 1-10 (1972); translation from Trudy Mat. Inst. Steklov 121, 5-13 (1972). MSC: 68T15 03B10 PDFBibTeX XMLCite \textit{N. K. Zamov}, Proc. Steklov Inst. Math. 121, 1--10 (1972; Zbl 0305.68064); translation from Trudy Mat. Inst. Steklov 121, 5--13 (1972)
Lorenzen, P. Zur konstruktiven Deutung der semantischen Vollständigkeit klassischer Quantoren- und Modalkalküle. (German) Zbl 0305.02024 Arch. Math. Logik Grundlagenforsch. 15, 103-117 (1972). MSC: 03B10 03B45 03F55 03C35 PDFBibTeX XMLCite \textit{P. Lorenzen}, Arch. Math. Logik Grundlagenforsch. 15, 103--117 (1972; Zbl 0305.02024) Full Text: DOI EuDML
Monteverdi, Daniela SH relative e pseudolimiti. (Italian) Zbl 0304.02022 Riv. Mat. Univ. Parma, III. Ser. 1, 189-194 (1972). MSC: 03C68 18A15 PDFBibTeX XMLCite \textit{D. Monteverdi}, Riv. Mat. Univ. Parma, III. Ser. 1, 189--194 (1972; Zbl 0304.02022)
Markwald, Werner Einführung in die formale Logik und Metamathematik. (German) Zbl 0304.02001 Klett Studienbücher Mathematik. Stuttgart: Ernst Klett Verlag. 168 S. Kart. DM 14.20 (1972). MSC: 03-01 03B05 03B10 03D25 03B99 PDFBibTeX XML
Serebryannikov, O. F. Heuristic principles and logical calculi. Translated from Russian by D. Louvish. (English) Zbl 0302.02008 Jerusalem: Israel Program for Scientific Translations. III, 182 p. £9.25 (1972). MSC: 03B99 03-02 03B45 03B05 PDFBibTeX XML
Nadel, Mark An application of set theory to model theory. (English) Zbl 0301.02049 Isr. J. Math. 11, 386-393 (1972). MSC: 03C99 03C68 03C75 03E30 PDFBibTeX XMLCite \textit{M. Nadel}, Isr. J. Math. 11, 386--393 (1972; Zbl 0301.02049) Full Text: DOI
Maslov, S. Yu.; Orevkov, V. P. Decidable classes reducing to a one-quantifier class. (English. Russian original) Zbl 0301.02041 Proc. Steklov Inst. Math. 121, 61-72 (1972); translation from Trudy Mat. Inst. Steklov 121, 57-66 (1972). MSC: 03B25 03B10 PDFBibTeX XMLCite \textit{S. Yu. Maslov} and \textit{V. P. Orevkov}, Proc. Steklov Inst. Math. 121, 61--72 (1972; Zbl 0301.02041); translation from Trudy Mat. Inst. Steklov 121, 57--66 (1972)
Marcus, Leo A minimal prime model with an infinite set of indiscernibles. (English) Zbl 0299.02062 Isr. J. Math. 11, 180-183 (1972). MSC: 03C99 03C68 03C75 03C35 PDFBibTeX XMLCite \textit{L. Marcus}, Isr. J. Math. 11, 180--183 (1972; Zbl 0299.02062) Full Text: DOI
Enderton, Herbert B. A mathematical introduction to logic. (English) Zbl 0298.02002 New York - London: Academic Press. XIII, 295 p. $ 12.50 (1972). MSC: 03-01 03B25 03B05 03B10 03B15 PDFBibTeX XML
Staszek, Walenty A certain interpretation of the theory of rejected propositions. (English) Zbl 0295.02008 Stud. Log. 30, 147-152 (1972). MSC: 03B05 03B99 PDFBibTeX XMLCite \textit{W. Staszek}, Stud. Log. 30, 147--152 (1972; Zbl 0295.02008) Full Text: DOI
Tokarz, Marek On structural completeness of Lukasiewicz’s logics. (English) Zbl 0288.02015 Stud. Log. 30, 53-61 (1972). MSC: 03B50 03B05 03C35 PDFBibTeX XMLCite \textit{M. Tokarz}, Stud. Log. 30, 53--61 (1972; Zbl 0288.02015) Full Text: DOI
Lorenzen, P. Dialogkalküle. (German) Zbl 0288.02011 Arch. Math. Logik Grundlagenforsch. 15, 99-102 (1972). MSC: 03B10 PDFBibTeX XMLCite \textit{P. Lorenzen}, Arch. Math. Logik Grundlagenforsch. 15, 99--102 (1972; Zbl 0288.02011) Full Text: DOI EuDML
Papp, B. Procédé pour déterminer les formes normales minimales des fonctions booleennes, en utilisant les regles de minimisation de la fonction de cout. (French) Zbl 0288.02008 Acta cybernetica 1, 241-250 (1972). MSC: 03B05 94C10 PDFBibTeX XMLCite \textit{B. Papp}, Acta Cybern. 1, 241--250 (1972; Zbl 0288.02008)
Schwabhäuser, Wolfram Modelltheorie. II. (German) Zbl 0286.02053 B.I-Hochschultaschenbücher. 815. Mannheim-Wien-Zürich: Bibliographisches Institut. 123 S. DM 9.90 (1972). MSC: 03C68 03-01 03-02 PDFBibTeX XML
Grzegorczyk, Andrzej An approach to logical calculus. (English) Zbl 0286.02029 Stud. Log. 30, 33-43 (1972). MSC: 03B55 03F55 03A05 03B10 03B45 PDFBibTeX XMLCite \textit{A. Grzegorczyk}, Stud. Log. 30, 33--43 (1972; Zbl 0286.02029) Full Text: DOI
Hoernes, Gerhard E.; Heilweil, Melvin F. Boolesche Algebra und Logik-Entwurf. Eine programmierte Einführung. Das amerikanische Original übersetzten: U. Weyh und R. Greiller. 2., verbess. Aufl. (German) Zbl 0285.94010 München-Wien: R. Oldenbourg. 291 S. mit 145 Abb. DM 34.00 (1972). MSC: 94C10 94-01 03G05 03-01 03B05 PDFBibTeX XML
Swierczkowski, S. Sets and numbers. (English) Zbl 0282.04002 Library of Mathematics. London-Boston: Routledge & Kegan Paul. 73 p. $ 0.50 (1972). MSC: 03-01 03E20 03E10 PDFBibTeX XML
Slupecki, Jerzy; Bryll, Grzegorz; Wybraniec-Skardowska, Urszula The theory of rejected propositions. II. (English) Zbl 0282.02021 Stud. Log. 30, 97-145 (1972). MSC: 03B99 03B25 03B05 PDFBibTeX XMLCite \textit{J. Slupecki} et al., Stud. Log. 30, 97--145 (1972; Zbl 0282.02021) Full Text: DOI
Barwise, K. Jon The Hanf number of second order logic. (English) Zbl 0281.02020 J. Symb. Log. 37, 588-594 (1972). MSC: 03B15 03C68 03E30 03E55 PDFBibTeX XMLCite \textit{K. J. Barwise}, J. Symb. Log. 37, 588--594 (1972; Zbl 0281.02020) Full Text: DOI
Porte, Jean La logique mathématique et le calcul mécanique. (French) Zbl 0279.02001 Notas de logica matematica. 8. Bahia Blanca, Argentina: Instituto de Matematica, Universidad Nacional del Sur. 105 p. $ 3.00 (1972). MSC: 03-01 03B05 03B10 03D20 03C80 03C75 03B25 03D25 68T15 68-01 PDFBibTeX XML
Sequeira, Fernando M. Eine Anwendung des symbolischen Kalküls, die in der Theorie der elektrischen Schaltungen von Interesse ist. (Portuguese) Zbl 0278.94020 Gaz. Mat., Lisboa 33, 45-56 (1972). MSC: 94C10 03B05 PDFBibTeX XMLCite \textit{F. M. Sequeira}, Gaz. Mat., Lisb. 33, No. 125--128, 45--56 (1972; Zbl 0278.94020)
Sacks, Gerald E. The differential closure of a differential field. (English) Zbl 0276.02039 Bull. Am. Math. Soc. 78, 629-634 (1972). MSC: 03C60 03C68 13L05 PDFBibTeX XMLCite \textit{G. E. Sacks}, Bull. Am. Math. Soc. 78, 629--634 (1972; Zbl 0276.02039) Full Text: DOI
Negru, I. S. Über einige Unterverbände des Verbandes aller Aussagenlogiken mit dem gewöhnlichen Begriff der Formel. (Russian) Zbl 0275.02052 Mat. Issled. 7, No. 4(26), 174-196 (1972). MSC: 03B05 03G05 PDFBibTeX XMLCite \textit{I. S. Negru}, Mat. Issled. 7, No. 4(26), 174--196 (1972; Zbl 0275.02052) Full Text: EuDML
Steen, S. W. P. Mathematical logic with special reference to the natural numbers. (English) Zbl 0275.02002 London: Cambridge University Press. XVI, 638 p. (1972). MSC: 03-01 03F99 03B25 03B05 03Dxx 03B10 03Cxx PDFBibTeX XML
Sapozhenko, A. A. Über die Kompliziertheit der disjunktiven Normalformen, die sich mittels des Gradientenalgorithmus ergeben. (Russian) Zbl 0273.94041 Diskret. Analiz, Novosibirsk 21, 62-71 (1972). MSC: 94C10 03B05 PDFBibTeX XMLCite \textit{A. A. Sapozhenko}, Diskret. Analiz, Novosibirsk 21, 62--71 (1972; Zbl 0273.94041)
Kravtsov, S. S. Über einige topologische Eigenschaften von Funktionen der Logikalgebra. (Russian) Zbl 0273.94038 Diskret. Analiz, Novosibirsk 21, 10-25 (1972). MSC: 94C10 03B05 PDFBibTeX XMLCite \textit{S. S. Kravtsov}, Diskret. Analiz, Novosibirsk 21, 10--25 (1972; Zbl 0273.94038)
Liu, Shih-Chao A proof of the existence of Suslin trees. (English) Zbl 0273.02048 Tamkang J. Math. 3, 139-152 (1972). MSC: 03E35 03B50 03E30 PDFBibTeX XMLCite \textit{S.-C. Liu}, Tamkang J. Math. 3, 139--152 (1972; Zbl 0273.02048)
Macintyre, Angus J. Omitting quantifier-free types in generic structures. (English) Zbl 0273.02038 J. Symb. Log. 37, 512-520 (1972). MSC: 03C68 03C60 20A10 20F10 03D80 PDFBibTeX XMLCite \textit{A. J. Macintyre}, J. Symb. Log. 37, 512--520 (1972; Zbl 0273.02038) Full Text: DOI
Slupecki, Jerzy A criterion of fullness of many-valued systems of propositional logic. (English) Zbl 0273.02015 Stud. Log. 30, 153-157 (1972). MSC: 03B50 03B05 PDFBibTeX XMLCite \textit{J. Slupecki}, Stud. Log. 30, 153--157 (1972; Zbl 0273.02015) Full Text: DOI
Servi, Mario Una questione di teoria dei modelli nelle categorie con prodotti finiti. (Italian) Zbl 0272.08008 Matematiche 26(1971), 307-324 (1972). MSC: 08C10 03C68 08Axx 18A15 18C10 PDFBibTeX XMLCite \textit{M. Servi}, Matematiche 26, 307--324 (1972; Zbl 0272.08008)
Prešić, Slaviša B. Ein Satz über reproduktive Lösungen. (German) Zbl 0272.08002 Publ. Inst. Math., Nouv. Sér. 14(28), 133-136 (1972). MSC: 08-00 03B05 08A05 PDFBibTeX XMLCite \textit{S. B. Prešić}, Publ. Inst. Math., Nouv. Sér. 14(28), 133--136 (1972; Zbl 0272.08002)
Fittler, Robert Some categories of models. (English) Zbl 0272.02072 Arch. Math. Logik Grundlagenforsch. 15, 179-189 (1972). MSC: 03C68 18B99 18A15 PDFBibTeX XMLCite \textit{R. Fittler}, Arch. Math. Logik Grundlagenforsch. 15, 179--189 (1972; Zbl 0272.02072) Full Text: DOI EuDML
Durić, Milan Some fundamental structures on classes. (English) Zbl 0269.02035 Publ. Inst. Math., Nouv. Sér. 14(28), 49-66 (1972). MSC: 03E30 18A15 PDFBibTeX XMLCite \textit{M. Durić}, Publ. Inst. Math., Nouv. Sér. 14(28), 49--66 (1972; Zbl 0269.02035) Full Text: EuDML
Durić, Milan On classes and universes. (English) Zbl 0269.02034 Publ. Inst. Math., Nouv. Sér. 14(28), 39-48 (1972). MSC: 03E30 18A15 PDFBibTeX XMLCite \textit{M. Durić}, Publ. Inst. Math., Nouv. Sér. 14(28), 39--48 (1972; Zbl 0269.02034) Full Text: EuDML
Smirnov, V. A. Der formale Schluß und logische Kalküle. (Formal’nyi vyvod i logiceskie iscislenija.) Verantwortl. Redakteur P. V. Tavanec. (Russian) Zbl 0269.02004 Moskau: Verlag “Nauka”. 272 S. R. 0.67 (1972). MSC: 03B10 03B99 03F99 03-02 PDFBibTeX XML
Denisov, S. D. Modelle widerspruchsfreier Formeln und die Ersovsche Hierarchie. (Russian) Zbl 0268.02028 Algebra Logika 11, 648-655 (1972). MSC: 03D55 03B10 PDFBibTeX XMLCite \textit{S. D. Denisov}, Algebra Logika 11, 648--655 (1972; Zbl 0268.02028)
Prucnal, Tadeusz On the structural completeness of some pure implicational propositional calculi. (English) Zbl 0268.02013 Stud. Log. 30, 45-52 (1972). MSC: 03B05 03B45 03B99 PDFBibTeX XMLCite \textit{T. Prucnal}, Stud. Log. 30, 45--52 (1972; Zbl 0268.02013) Full Text: DOI
Sekimoto, Toshihiko On the uniqueness of the shortest single axiom for the implicational calculus of propositions. (English) Zbl 0268.02006 Proc. Japan Acad. 48, 290-292 (1972). MSC: 03B05 03-04 PDFBibTeX XMLCite \textit{T. Sekimoto}, Proc. Japan Acad. 48, 290--292 (1972; Zbl 0268.02006) Full Text: DOI
Corcoran, John Weak and strong completeness in sentential logics. (English) Zbl 0267.02007 Logique Anal., Nouv. Sér. 15, 429-434 (1972). MSC: 03B05 PDFBibTeX XMLCite \textit{J. Corcoran}, Log. Anal., Nouv. Sér. 15, 429--434 (1972; Zbl 0267.02007)
Presic, Slavisa Tautologies. I, II. (Serbian) Zbl 0267.02005 Matematika, strucno-metod. Casopis 1, No. 2-3, 29-41, No. 4, 37-43 (1972). MSC: 03B05 PDFBibTeX XML
Novoselov, V. G. Statistische Abschätzungen der Effektivität von Methoden der Minimierung Boolescher Funktionen. (Russian) Zbl 0263.94015 Avtomaty, gibrid. upravl. Masiny, Trudy 4 vsesojuzn. Sovesc. avtomat. Upravl., Tbilisi 1968, 96-104 (1972). MSC: 94C10 03B05 PDFBibTeX XML
Nebres, Bienvenido F. Infinitary formulas preserved under unions of models. (English) Zbl 0262.02015 J. Symb. Log. 37, 449-465 (1972). Reviewer: M. Yasuhara MSC: 03C68 03C99 03C75 PDFBibTeX XMLCite \textit{B. F. Nebres}, J. Symb. Log. 37, 449--465 (1972; Zbl 0262.02015) Full Text: DOI
Bullock, Arthur M.; Schneider, Hubert H. A calculus for finitely satisfiable formulas with identity. (English) Zbl 0262.02013 Arch. Math. Logik Grundlagenforsch. 15, 158-163 (1972). Reviewer: R. Harrop MSC: 03B10 03D25 PDFBibTeX XMLCite \textit{A. M. Bullock} and \textit{H. H. Schneider}, Arch. Math. Logik Grundlagenforsch. 15, 158--163 (1972; Zbl 0262.02013) Full Text: DOI EuDML