scientific article; zbMATH DE number 1088198

zbMATH Open0885.03025MaRDI QIDQ4364512FDOQ4364512

Authors: Paul C. Gilmore 

Publication date: 17 November 1997

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

Recommendations

• scientific article; zbMATH DE number 517076
• Logical foundations for programming semantics
• NDK and natural reasoning
• A logic for natural language

zbMATH Keywords

arithmeticrecursive definitionsCantor's diagonal argument and paradoxNaDSyLNatural Deduction based Symbolic Logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Cited In (3)

• Logical foundations for programming semantics
• New techniques for SIDH-based NIKE
• Title not available (Why is that?)

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