IBN
  



  













    
  


    
Închide

Afișare rezultate

Afisarea articolelor 1-2(2) pentru cuvîntul-cheie "model completeness"
On absence of finite approximation relative to model completeness in the propositional provability logic
Izbaş Olga1, Rusu Andrei23
1 Institute of Mathematics and Computer Science ASM,
2 Information Society Development Institute, S.E.,
3 Ovidius University, Constanța
Conference of Mathematical Society of the Republic of Moldova
3. 2014. Chișinău. ISBN 978-9975-68-244-2.
Disponibil online 9 October, 2017. Descarcări-0. Vizualizări-371
-----------------------------------------------------------------------------------------------------------------------------------
On the absence of finite approximation relative to model completeness in propositional provability logic
Izbaş Olga1, Rusu Andrei23
1 Institute of Mathematics and Computer Science ASM,
2 Information Society Development Institute, S.E.,
3 Ovidius University, Constanța
Buletinul Academiei de Ştiinţe a Moldovei. Matematica
Nr. 3(79) / 2015 / ISSN 1024-7696
Disponibil online 10 June, 2016. Descarcări-2. Vizualizări-723
-----------------------------------------------------------------------------------------------------------------------------------
 
 

1-2 of 2