scientific article; zbMATH DE number 954083

zbMATH Open0877.00001MaRDI QIDQ4718441FDOQ4718441

Authors: William E. Fenton, Ed Dubinsky 

Publication date: 5 December 1996

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 194637
• scientific article; zbMATH DE number 1478129
• scientific article; zbMATH DE number 976933

zbMATH Keywords

setsgraphsdiscrete mathematicspartial orderstextbookinductionbinary relationsfunctionsinfinite setspredicate calculuspropositional calculustuplesinteger numbersprogramming language ISETLinteractive SET language

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to combinatorics (05-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Mathematics in general (00A05) Methodology of mathematics (00A35) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to number theory (11-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to ordered structures (06-01)

Cited In (1)

• Title not available (Why is that?)

Uses Software

• ISETL

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4718441)