What Is a Proof?

DOI10.1007/978-94-007-0080-2_3zbMath1319.03060OpenAlexW2283430289MaRDI QIDQ5246107

John N. Crossley

Publication date: 17 April 2015

Published in: Proof, Computation and Agency (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-94-007-0080-2_3

zbMATH Keywords

predicate calculuspracticalities of proofs

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03) History of mathematics in the 17th century (01A45) Proof theory in general (including proof-theoretic semantics) (03F03) History of Greek and Roman mathematics (01A20) Combinatory logic and lambda calculus (03B40)

This page was built for publication: What Is a Proof?