L'Hauptsatz di Gentzen
Sergio Galvan
Il volume di Sergio Galvan, docente di Logica e Ontologia analitica presso l'Università Cattolica del Sacro Cuore, espone la dimostrazione del teorema di eliminazione del Cut (Hauptsatz) dimostrato da Gerhard Gentzen nelle "Untersuchungen uber das logische Schliessen".
Al momento non disponibile, ordinabile in 3 settimane circa
Dettagli Libro
- Titolo: L'Hauptsatz di Gentzen
- Autore: Sergio Galvan
- Curatore:
- Traduttore:
- Illustratore:
- Editore: EDUCatt Università Cattolica
- Collana:
- Data di Pubblicazione: 2015
- Pagine: 124
- Formato:
- ISBN: 9788867808755
- Matematica - Matematica
Libri che ti potrebbero interessare
Logica
Galvan Sergio
Non contraddizione e terzo escluso. Le r...
Galvan Sergio
L'Hauptsatz di Gentzen
Sergio Galvan
Ricerche di logica epistemica
Galvan Sergio
Logica dei predicati
Galvan Sergio
Sistemi dell'aritmetica da Q a PA
Galvan Sergio
Ontologia del possibile
Galvan Sergio
I libri più cercati
-
Il re dei ladri
Cornelia Funke -
Artquiz simulazioni. Test di ammissione a: medicin...
-
Il metodo di lavoro libero per gruppi
F. De Bartolomeis, Roger Cousinet, Francesco De Bartolomeis -
Dalla stessa parte mi troverai
Valentina Mira -
La crisi del 1929. Negli Stati Uniti d'America e i...
Vichi Marco
Categorie
- Agricoltura
- Antropologia
- Archeologia
- Architettura
- Arte e fotografia
- Astronomia
- Bambini e ragazzi
- Benessere e tempo libero
- Biblioteconomia
- Biografie e memorie
- Biologia
- Botanica
- Chimica
- Cinema e spettacolo
- Cucina
- Design e grafica
- Diritto
- Ecologia e ambiente
- Economia
- Filosofia
- Fisica
- Fumetti
- Geografia
- Giardinaggio
- Informatica
- Ingegneria
- Lingue straniere
- Linguistica
- Matematica
- Medicina
- Metodologia scientifica
- Musica
- Narrativa
- Non catalogati
- Opere di consultazione
- Psicologia
- Religione
- Scuola ed educazione
- Società
- Sociologia
- Sport
- Storia
- Studi letterari
- Veterinaria
- Viaggi
- Zoologia