Some Calculations in Logic

DOI10.2307/3610588zbMATH Open0083.00106OpenAlexW2797569675MaRDI QIDQ3255341FDOQ3255341

Authors: C. C. H. Barker 

Publication date: 1957

Published in: The Mathematical Gazette (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/3610588

Recommendations

• Publication:4723705
• scientific article; zbMATH DE number 1523047
• Formal polynomials, heuristics and proofs in logic
• scientific article; zbMATH DE number 1383060
• scientific article; zbMATH DE number 3857069

zbMATH Keywords

logic

Mathematics Subject Classification ID

General logic (03B99)

Cited In (2)

• Title not available (Why is that?)
• Formal polynomials, heuristics and proofs in logic

This page was built for publication: Some Calculations in Logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3255341)