A note on the consistency and completeness of the pure implicational functional calculus of first order

A note on the consistency and completeness of the pure implicational functional calculus of first order

datePublished

• 1974

identifier

• propertyID: FI-FENNI value: 215731
• propertyID: FI-MELINDA value: 003706229
• propertyID: skl value: fx215731

isbn

• 9514402421

isPartOf

• [Tampereen yliopiston filosofian laitoksen julkaisuja]
• Fennica

name

• A note on the consistency and completeness of the pure implicational functional calculus of first order

numberOfPages

• [1], 8, [1] s.

P60048

• <http://rdaregistry.info/termList/RDACarrierType/1049>

P60050

• <http://rdaregistry.info/termList/RDAMediaType/1007>

publication

• location: Tampere organizer: Tampereen yliopisto

publisher

• Tampereen yliopisto