Term logic with choice operator
I tiakina i:
| Kaituhi matua: | |
|---|---|
| Hōputu: | Pukapuka |
| Reo: | Ingarihi |
| I whakaputaina: |
Berlín
Springer-Verlag
1970
|
| Rangatū: | Lecture Notes in Mathematics, 6
|
| Ngā marau: | |
| Ngā Tūtohu: |
Tāpirihia he Tūtohu
Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!
|
Biblioteca de Matemática -
| Tau karanga: |
511.3 HER 1970 |
|---|---|
| Tārua 1496662 | Wātea Whakarite puringa |