Off-campus UNL users: To download campus access dissertations, please use the following link to log into our proxy server with your NU ID and password. When you are done browsing please remember to return to this page and log out.
Non-UNL users: Please talk to your librarian about requesting this dissertation through interlibrary loan.
A CALCULUS OF NATURAL DEDUCTION FOR PREDICATE LOGIC WITH FUNCTIONAL VARIABLES AND IDENTITY
Abstract
Abstract not available
Subject Area
Mathematics
Recommended Citation
BROWN, JOSEPH GARY, "A CALCULUS OF NATURAL DEDUCTION FOR PREDICATE LOGIC WITH FUNCTIONAL VARIABLES AND IDENTITY" (1966). ETD collection for University of Nebraska-Lincoln. AAI6704052.
https://digitalcommons.unl.edu/dissertations/AAI6704052
COinS