Metadata
Author: WikiMatrix
Data
English[en]
If proof theory and model theory have been the foundation of mathematical logic, they have been but two of the four pillars of the subject.
Finnish[fi]
Jos todistusteoria ja malliteoria ovatkin olleet matemaattisen logiikan perusta, ne ovat muodostaneet vasta kaksi sen neljästä tukipilarista.