Studies in constructive mathematics and mathematical logic /
41
Main Author: | |
---|---|
Format: | |
Published: |
NY : Consultants Bureau,
1969
|
Subjects: |
_version_ | 1826432325921013760 |
---|---|
author | 321705 Slisenko, A. O. |
author_facet | 321705 Slisenko, A. O. |
author_sort | 321705 Slisenko, A. O. |
collection | OCEAN |
description | 41 |
first_indexed | 2024-03-05T07:29:08Z |
format | |
id | KOHA-OAI-TEST:379780 |
institution | Universiti Teknologi Malaysia - OCEAN |
last_indexed | 2024-03-05T07:29:08Z |
publishDate | 1969 |
publisher | NY : Consultants Bureau, |
record_format | dspace |
spelling | KOHA-OAI-TEST:3797802020-12-19T17:13:14ZStudies in constructive mathematics and mathematical logic / 321705 Slisenko, A. O. NY : Consultants Bureau,196941PSZJBLLogic, Symbolic and mathematical |
spellingShingle | Logic, Symbolic and mathematical 321705 Slisenko, A. O. Studies in constructive mathematics and mathematical logic / |
title | Studies in constructive mathematics and mathematical logic / |
title_full | Studies in constructive mathematics and mathematical logic / |
title_fullStr | Studies in constructive mathematics and mathematical logic / |
title_full_unstemmed | Studies in constructive mathematics and mathematical logic / |
title_short | Studies in constructive mathematics and mathematical logic / |
title_sort | studies in constructive mathematics and mathematical logic |
topic | Logic, Symbolic and mathematical |
work_keys_str_mv | AT 321705slisenkoao studiesinconstructivemathematicsandmathematicallogic |