Studies in constructive mathematics and mathematical logic /

41

Bibliographic Details
Main Author: 321705 Slisenko, A. O.
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