Functoroids and ptykoids

DOI10.1007/BF02390457zbMath0828.03029MaRDI QIDQ1345902

J. R. G. Catlow

Publication date: 18 December 1995

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

zbMATH Keywords

first-order analogues of ptykesindependent statementsptykoid

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Proof theory in general (including proof-theoretic semantics) (03F03)

Cites Work

• A proof-theoretical analysis of ptykes
• Proof theory
• Unnamed Item

This page was built for publication: Functoroids and ptykoids