Frege and the resolution calculus

DOI10.1080/01445349708837278zbMath0889.03002OpenAlexW1982003586WikidataQ57552577 ScholiaQ57552577MaRDI QIDQ4373015

Peter Schroeder-Heister

Publication date: 29 May 1998

Published in: History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/01445349708837278

zbMATH Keywords

Fregeresolution calculuseliminationsequentBoole's problem

Mathematics Subject Classification ID

History of mathematical logic and foundations (03-03) History of mathematics in the 19th century (01A55)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Frege and the resolution calculus