Rosser's trick (Q7369799)
Jump to navigation
Jump to search
method in mathematical logic
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Rosser's trick |
method in mathematical logic |
Statements
Identifiers
Sitelinks
Wikipedia(5 entries)
- enwiki Rosser's trick
- frwiki Astuce de Rosser
- jawiki ロッサーのからくり
- ptwiki Truque de Rosser
- svwiki Rossersats