References
K. Gödel,Die Vollständigkeit der Axiome des logischen Funktionenkalküls, Monatshefte für Mathematik und Physik, 37, 349–360, 1930.
D. Hilbert, P. Bernays,Grundlagen der Mathematik, Berlin 1934, 1939.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Suszko, R. A note concerning the rules of inference for quantifiers. Arch math Logik 7, 124–127 (1965). https://doi.org/10.1007/BF01969437
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01969437