No Cover Image

Journal article 446 views

Analyzing Gödel's T Via Expanded Head Reduction Trees / Beckmann Arnold; Weiermann Andreas; Arnold Beckmann

MLQ, Volume: 46, Issue: 4, Pages: 517 - 536

Swansea University Author: Arnold, Beckmann

Full text not available from this repository: check for access using links below.

Published in: MLQ
ISSN: 09425616 15213870
Published: Wiley-Blackwell 2000
Online Access: Check full text

Tags: Add Tag
No Tags, Be the first to tag this record!
Item Description: @articleBeckmann_2000,doi = 10.1002/1521-3870(200010)46:4<517::aid-malq517>;2-a,url =<517::aid-malq517>;2-a,year = 2000,month = oct,publisher = Wiley-Blackwell,volume = 46,number = 4,pages = 517--536,author = Arnold Beckmann and Andreas Weiermann,title = Analyzing Gödel\textquotesingles T Via Expanded Head Reduction Trees,journal = MLQ - Math. Log. Quart.
College: College of Science
Issue: 4
Start Page: 517
End Page: 536