scientific article; zbMATH DE number 716832

From MaRDI portal

Publication:4320521

Jump to:navigation, search

zbMath0816.00004MaRDI QIDQ4320521

Daniel J. Velleman

Publication date: 31 January 1995

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

relations sentential logic functions prime numbers mathematical induction infinite sets quantificational logic structured proving techniques

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Methodology of mathematics (00A35) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematics in general (00-01)

Related Items (2)

Transitions and Proof and Proving at Tertiary Level ⋮ Prime simplicity

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4320521&oldid=18273510"