Countable Boolean algebras and decidability
1.3 hrs read
Rate this book:
Buy This Book
As an Amazon Associate and Bookshop.org affiliate, BookOrb earns from qualifying purchases.
Know this book?
Help other readers discover this title by sharing your thoughts. Be the first to write a review.
Share Your Thoughts
Sign in to write a review.
More by S. S. Goncharov
I︠A︡zyki spet︠s︡ifikat︠s︡iĭ i
I︠A︡zyki spet︠s︡ifikat︠s︡iĭ i logicheskoe programmirovanie
I︠U︡riĭ Leonidovich Ershov
I︠U︡riĭ Leonidovich Ershov
Konstruktivnye modeli
Konstruktivnye modeli
Logicheskie metody v programmi
Logicheskie metody v programmirovanii
Logicheskie voprosy teorii tip
Logicheskie voprosy teorii tipov dannykh
Logika i semanticheskoe progra
Logika i semanticheskoe programmirovanie