Publication:4395554
From MaRDI portal
zbMath0898.03015MaRDI QIDQ4395554
Publication date: 1 November 1998
01A60: History of mathematics in the 20th century
03C80: Logic with extra quantifiers and operators
03-03: History of mathematical logic and foundations