search

Skip to results

Modify your search

Edit your search term, change scope of search Enter search term

Full Text Keywords Title Author/Editor/ORCiD Abstract References/Bibliography

Select the operation between terms

AND

NOT

Edit your search term, change scope of search Enter search term

Full Text Keywords Title Author/Editor/ORCiD Abstract References/Bibliography

Select the operation between terms

AND

NOT

Edit your search term, change scope of search Enter search term

Full Text Keywords Title Author/Editor/ORCiD Abstract References/Bibliography

Select the operation between terms

AND

NOT

Edit your search term, change scope of search Enter search term

Full Text Keywords Title Author/Editor/ORCiD Abstract References/Bibliography

Select the operation between terms

AND

NOT

Edit your search term, change scope of search Enter search term

Full Text Keywords Title Author/Editor/ORCiD Abstract References/Bibliography

Select the operation between terms

AND

NOT

Edit your search term, change scope of search Enter search term

Full Text Keywords Title Author/Editor/ORCiD Abstract References/Bibliography

Availability

All content I have access to

Purchased
Free

NARROW

Format

Facet list

Journal Article (1)

Type

Facet list

Research Article (1)

Section

Find a Section

The list will update as you type

Facet list

Articles (1)

Publication date

Date Range

Published
Updated

Date range

Single date

From Select month

To Select month

Publication date

1-1 of 1

Authors: Dan E Willard

Save search

Follow your search

Access your saved searches in your account

Name your search

Follow this search

Would you like to receive an alert when new items match your search?

Save search

Sort by

Sort Order Select

Journal Article

About the characterization of a fine line that separates generalizations and boundary-case exceptions for the Second Incompleteness Theorem under semantic tableau deduction Get access

PDF

Dan E Willard

Journal of Logic and Computation, Volume 31, Issue 1, January 2021, Pages 375–392, https://doi.org/10.1093/logcom/exaa083

Published: 30 December 2020

Email alerts

New journal issues

New journal articles

Perform this search in

Journals Journals

Books Books

Oxford Academic Oxford Academic

Modify your search

Publication date

About the characterization of a fine line that separates generalizations and boundary-case exceptions for the Second Incompleteness Theorem under semantic tableau deduction Get access

Email alerts

This Feature Is Available To Subscribers Only