01573nam0 2200337 i 450 VAN0005535020240806100510.1903-06-11061-X20061107d1997 |0itac50 baengUS|||| |||||Countable Boolean algebras and decidabilitySergei S. GoncharovNew YorkLondonConsultants Bureau1997XII, 318 p.ill.24 cm03-XXMathematical logic and foundations [MSC 2020]VANC019750MF03B25Decidability of theories and sets of sentences [MSC 2020]VANC024400MF06E05Structure theory of Boolean algebras [MSC 2020]VANC023945MFUSNew YorkVANL000011GBLondonVANL000015GoncharovSergei S.VANV043864725935Consultants Bureau <editore>VANV108151650Goncharov, S. S.Goncharov, Sergei S.VANV043862Goncharov, Sergei SevostianovichGoncharov, Sergei S.VANV043863ITSOL20240906RICA/sebina/repository/catalogazione/documenti/Goncharov - Countable Boolean algebras and decidability.pdfContentsBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN00055350BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 1672 08 5014 I 20061107 Countable Boolean algebras and decidability1424872UNICAMPANIA