Frege and the resolution calculus
From MaRDI portal
Publication:4373015
DOI10.1080/01445349708837278zbMath0889.03002WikidataQ57552577 ScholiaQ57552577MaRDI QIDQ4373015
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
03-03: History of mathematical logic and foundations
01A55: History of mathematics in the 19th century
Cites Work