Algebra and logic. Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia

zbMath0293.00006MaRDI QIDQ1211958

No author found.

Publication date: 1975

Published in: Lecture Notes in Mathematics (Search for Journal in Brave)

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Conference proceedings and collections of articles (00Bxx)

Related Items (3)

Unnamed Item ⋮ On the proof-theoretic strength of monotone induction in explicit mathematics ⋮ Remarks on the development of computability

This page was built for publication: Algebra and logic. Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia