scientific article; zbMATH DE number 6154472

MaRDI QIDQ4914978zbMATH OpenFDO

Authors Amílcar Sernadas, Cristina Sernadas

Publication date 16 April 2013

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)

Cited in

(9)

• Computation on structures. Behavioural theory, logic, complexity
• Fundamentals of logic and computation. With practical automated reasoning and verification
• Completeness and interpolation of almost-everywhere quantification over finitely additive measures
• scientific article; zbMATH DE number 52096 (Why is no real title available?)
• scientific article; zbMATH DE number 1342354 (Why is no real title available?)
• Intuitionistic Logic and Computability Theory
• REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION
• Martin Davis on computability, computational logic, and mathematical foundations
• scientific article; zbMATH DE number 4187780 (Why is no real title available?)

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