| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA990000977870403321 |
|
|
Autore |
Cooper, William S. |
|
|
Titolo |
Foundations of Logico-Linguistics : A Unified Theory of Information, Language, and Logic / William S. Cooper |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Dordrecht (NL) : Reidel, 1978 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Collana |
|
Synthese Language Library ; 2 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Locazione |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNINA9910817227303321 |
|
|
Autore |
Burris Stanley |
|
|
Titolo |
Decidability and Boolean representations / / Stanley Burris and Ralph McKenzie |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Providence, Rhode Island : , : American Mathematical Society, , [1981] |
|
©1981 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (116 p.) |
|
|
|
|
|
|
Collana |
|
Memoirs of the American Mathematical Society, , 0065-9266 ; ; number 246 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Soggetti |
|
Algebra, Universal |
Decidability (Mathematical logic) |
Algebraic varieties |
Modular lattices |
Representations of algebras |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
|
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
|
|
|
|
|
Nota di contenuto |
|
Decidable varieties with modular congruence lattices -- Boolean representable varieties. |
|
|
|
|
|
|
|
| |