Natural Deduction and Hilbert's ε-Operator

Saved in:
Bibliographic Details
Published in:Journal of philosophical logic 1987-11, Vol.16 (4), p.411-421
Main Author: Hazen, Allen
Format: Article
Language:English
Subjects:
Arbitrary objects
Inference
Liberalization
Logical proofs
Mathematical logic
Model theory
Natural deduction calculus
Predicate logic
Reasoning
Tableaux
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:
ISSN:0022-3611
1573-0433