IBN
  



  














    
  


    
Închide

Afișare rezultate

SM ISO690:2012
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,
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-647
-----------------------------------------------------------------------------------------------------------------------------------
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,
3 Ovidius University, Constanța
Buletinul Academiei de Ştiinţe a Republicii Moldova. Matematica
Nr. 3(79) / 2015 / ISSN 1024-7696 /ISSNe 2587-4322
Disponibil online 10 June, 2016. Descarcări-3. Vizualizări-1190
-----------------------------------------------------------------------------------------------------------------------------------
 
 

1-2 of 2