scientific article; zbMATH DE number 716832
From MaRDI portal
Publication:4320521
zbMath0816.00004MaRDI QIDQ4320521
Publication date: 31 January 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
relationssentential logicfunctionsprime numbersmathematical inductioninfinite setsquantificational logicstructured proving techniques
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)
This page was built for publication: