Mathematical induction in ramified type theory

DOI10.1002/MALQ.19690150103zbMath0184.00703OpenAlexW2070121334MaRDI QIDQ5575526

James R. Royse

Publication date: 1969

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

Full work available at URL: https://doi.org/10.1002/malq.19690150103

zbMATH Keywords

general logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

This page was built for publication: Mathematical induction in ramified type theory