toggle menu
close
close menu
Search
Research products
Publications
Research data
Research software
Other research products
Projects
Data sources
Organizations
Deposit
Link
Start linking
Learn more
Data sources
Repositories
Journals
Registries
Browse all
Funders
close
search
Search
Deposit
Link
Data sources
Funders
search
search
Sign in
Found an issue?
Give us feedback
link
Link to
share
share
Share
cite
Cite
add
Claim
close
Please grant OpenAIRE to access and update your ORCID works.
close
close
This Research product is the result of
merged Research products in OpenAIRE
.
You have already added
0 works
in your ORCID record related to the merged Research product.
close
close
close
Select content type to embed
All Research products
arrow_drop_down
COPY SCRIPT
For further information contact us at
helpdesk@openaire.eu
Löb's axiom and cut-elimination theorem
description
Publication
keyboard_double_arrow_right
Article
English
Journal:
Löb's axiom and cut-elimination theorem
,
volume
1
,
pages
91
-
98
(
issn: 13463977
,
Copyright policy
)
close
close
Löb's axiom and cut-elimination theorem
Summary
No summary information available
Found an issue?
Give us feedback
close
close
close
Copyright policy )