Loading…
An introduction to mathematical logic and type theory : to truth through proof /
I tiakina i:
| Kaituhi matua: | |
|---|---|
| Hōputu: | Pukapuka |
| Reo: | Ingarihi |
| I whakaputaina: |
Orlando :
Academic Press,
1986.
|
| Rangatū: | Computer science and applied mathematics
|
| Ngā marau: | |
| Tags: |
Tāpirihia he Tūtohu
No Tags, Be the first to tag this record!
|