Matematička logika
Definicija 2.49. Neka je T neka σ-teorija prvog reda. Za σ-strukturu M ka- ˇzemo da je model za teoriju T ako za sve nelogiˇcke aksiome F od T vrijedi M...
Matematika
Prirodoslovno-matematički fakultet
254 stranica
Matematika, Skripte
Objavio gajaliman
·
