scientific article; zbMATH DE number 1705882

zbMATH Open0993.03001MaRDI QIDQ2771587

Steven G. Krantz

Publication date: 17 February 2002

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

zbMATH Keywords

number systemsBoolean algebrafirst-order logicword problemcategory theorycomplexity theoryrecursive functionsproof techniquescomputer science logicelementary set theory

Mathematics Subject Classification ID

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) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to computer science (68-00) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to mathematical logic and foundations (03-00)

Related Items (2)

Fundamentals of logic and computation. With practical automated reasoning and verification ⋮ A modern rigorous approach to stratification in NF/NFU

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 Q2771587)