scientific article; zbMATH DE number 954083
zbMath0877.00001MaRDI QIDQ4718441
Ed Dubinsky, William E. Fenton
Publication date: 5 December 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
setsdiscrete mathematicspredicate calculustextbookgraphsinductionfunctionspropositional calculuspartial ordersbinary relationsinfinite setstuplesinteger numbersprogramming language ISETLinteractive SET language
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Methodology of mathematics (00A35) Mathematics in general (00A05) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to combinatorics (05-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to number theory (11-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to ordered structures (06-01)
Uses Software