Showing
1 - 1
results of
1
Skip to content
Login
Language
English
Deutsch
Українська
Open Science Harvester of NAS of Ukraine
All Fields
Title
Journal Title
Author
Subject
Description
Tag
Full text
Find
Advanced
page_reload_on_deselect_hint
Reset Filters
applied_filters
Suggested Topics:
Remove filter
UDC 510.64
page_reload_on_deselect_hint
Reset Filters
Show filters (1)
Suggested Topics:
Remove filter
UDC 510.64
Search Results
Search Results
Suggested Topics within your search.
Suggested Topics within your search.
UDC 510.64
completeness
1
equality
1
logic
1
logical consequence
1
partial predicate
1
sequent calculus
1
soundness
1
УДК 510.64
1
коректність
1
логіка
1
логічний наслідок
1
повнота
1
рівність
1
секвенційне числення
1
частковий предикат
1
Showing
1 - 1
results of
1
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
Email
Export
Print
bulk_save_button
select_all_on_page
Select result number 1
1
First-order sequent calculi of logics of quasiary predicates with extended renominations and equality
by
Shkilniak, О.S.
,
Shkilniak, S.S.
Published 2023
Get full text
Article
standalone_record_link
Save to List
Saved in:
Email
Export
Print
bulk_save_button
select_all_on_page
Search Tools:
RSS Feed
Email Search
Save Search
Back
Refine Results
page_reload_on_select_hint
Institution
Problems in programming
1 results
1
Format
Article
1 results
1
Author
Shkilniak, S.S.
1 results
1
Shkilniak, О.S.
1 results
1
Language
Ukrainian
1 results
1
Year of Publication
From:
To: