Documents
Authors
Tables
Other Seers ▼
RefSeer
AckSeer
CollabSeer
SeerSeer
Log in
Sign up
MetaCart
Documents:
Advanced Search
Include Citations
Authors:
Advanced Search
Include Citations |
Disambiguate
Tables:
A simple proof of Parson’s theorem
(2005)
by F Ferreira
Venue:
Notre Dame Journal of Formal Logic
Add To MetaCart
Tools
Sorted by:
Citation Count
Year (Descending)
Year (Ascending)
Recency
Results
1 - 1
of
1
Submitted by Jon Brugger
by Eth Zürich, Supervised Prof, Dr. Gerhard Jäger, Prof Dr, Thomas Strahm
"... Master Thesis Proof-theoretic aspects of weak König’s ..."
Abstract
-
Add to MetaCart
Master Thesis Proof-theoretic aspects of weak König’s