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

URI: https://cronfa.swan.ac.uk/Record/cronfa24556
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>3.0.co;2-a,url = http://dx.doi.org/10.1002/1521-3870(200010)46:4<517::aid-malq517>3.0.co;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