Premium
Axioms for the Implicational Calculus With One Variable
Author(s) -
JOHNSTONE HENRY W.,
PRICE ROBERT
Publication year - 1964
Publication title -
theoria
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.34
H-Index - 16
eISSN - 1755-2567
pISSN - 0040-5825
DOI - 10.1111/j.1755-2567.1964.tb01078.x
Subject(s) - axiom , mathematical economics , variable (mathematics) , citation , state (computer science) , calculus (dental) , mathematics , computer science , algebra over a field , programming language , library science , pure mathematics , medicine , dentistry , mathematical analysis , geometry