scientific article; zbMATH DE number 3216186

zbMATH Open0133.25201MaRDI QIDQ5343334FDOQ5343334

Stephen Cole Kleene

Publication date: 1965

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

zbMATH Keywords

mathematical logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cited In (5)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Well-foundedness in realizability
• Title not available (Why is that?)
• A survey of predicate realizability logic

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Modal logics, justification logics, and realization 👍 👎
• Arithmetical realizability and basic logic 👍 👎
• Realizability and intuitionistic logic 👍 👎
• Generalized Realizability and Basic Logic 👍 👎
• General recursive realizability and intuitionistic logic 👍 👎
• A Generalized Realizability and Intuitionistic Logic 👍 👎
• Gödel justification logics and realization 👍 👎

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