scientific article; zbMATH DE number 1088198
From MaRDI portal
Publication:4364512
zbMath0885.03025MaRDI QIDQ4364512
Publication date: 17 November 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
arithmeticrecursive definitionsCantor's diagonal argument and paradoxNaDSyLNatural Deduction based Symbolic Logic
This page was built for publication:
