Teoria della dimostrazione: normalizzazioni e assegnazioni di numeri ordinali

Torino: Boringhieri (1978)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Call number

QA9.54.C44

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,592

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Teoria della dimostrazione: normalizzazioni e assegnazioni di numeri ordinali.Carlo Cellucci - 1978 - Turin: Boringhieri.
Cellucci Carlo. Teoria della dimostrazione. Normalizzazioni e assegnazioni di numeri ordinali. Testi e manuali della scienza contemporanea, serie di logica matematica. Boringhieri, Torino 1978, 315 pp.Flavio Previale - 1982
Sulla teoria della dimostrazione: la "Proof Theory" di Schütte.Pierluigi Minari - 1978 - Rivista di Filosofia 12:521.
Schede Paolo Bussotti, Aldo Scimone, Sulle orme di Fermat. Il teorema dei numeri poligonali e la sua dimostrazione.Massimo Tamborini - 2010 - Rivista di Storia Della Filosofia 65 (2):383.
Proof theory and ordinal analysis.W. Pohlers - 1991 - Archive for Mathematical Logic 30 (5-6):311-376.
Variation on a theme of Schutte.D. Probst & G. Jager - 2004 - Mathematical Logic Quarterly 50 (3):258.
Are the Natural Numbers Fundamentally Ordinals?Bahram Assadian & Stefan Buijsman - 2018 - Philosophy and Phenomenological Research 99 (3):564-580.
Inner models and large cardinals.Ronald Jensen - 1995 - Bulletin of Symbolic Logic 1 (4):393-407.
Epsilon Substitution Method for Δ11 − CR: a Constructive Termination Proof.Sergei Tupailo - 2003 - Logic Journal of the IGPL 11 (3):367-377.
A Consistency-Proof of a Formal Theory of Ackermann's Ordinal Numbers.Akiko Kino - 1965 - Journal of Symbolic Logic 30 (3):392-392.
Ordinal numbers in arithmetic progression.Frederick Bagemihl & F. Bagemihl - 1992 - Mathematical Logic Quarterly 38 (1):525-528.
Da Roberto Grossatesta a Jonathan Barnes: dialoghi a distanza sulla teoria della dimostrazione in Aristotele.Amos Corbini - 2019 - Pisa: Edizioni ETS.
Ordinal arithmetic based on Skolem hulling.Gunnar Wilken - 2007 - Annals of Pure and Applied Logic 145 (2):130-161.
Reverse Mathematics and Ordinal Multiplication.Jeffry L. Hirst - 1998 - Mathematical Logic Quarterly 44 (4):459-464.
Takeuti's Well-ordering Proof.Aaron Thomas-Bolduc & Eamon Darnell - 2022 - Australasian Journal of Logic 19 (1).

Analytics

Added to PP
2023-06-09

Downloads
2 (#1,800,073)

6 months
2 (#1,192,610)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references