| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996466871703316 |
|
|
Autore |
Diller Justus |
|
|
Titolo |
ISILC - Proof Theory Symposion [[electronic resource] ] : Dedicated to Kurt Schütte on the Occasion of His 65th Birthday. Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974 / / herausgegeben von J. Diller, G.H. Müller |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1975 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 1975.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (CD, 390 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Mathematics, , 1617-9692 ; ; 500 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Mathematical logic |
Mathematical Logic and Foundations |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di contenuto |
|
Verzeichnis der Publikationen von Kurt Schütte -- Normalfunktionen und Konstruktive Systeme von Ordinalzahlen -- Sound functors -- A study of generalized standardization in combinatory logic -- Intensionale Funktionalinterpretation der Analysis -- Non-extensional type-free theories of partial operations and classifications, I -- Kombinatorische Konstruktionen mit Beweisen und Schnittelimination -- Calculability of the primitive recursive functionals of finite type over the natural numbers -- Observations on a recent generalization of completeness theorems due to Schütte -- Strong normalization for arithmetic -- Intuitionistic completeness of a restricted second-order logic -- The real elements in a consistency proof for simple type theory I -- Church Rosser Theorem für ?-Kalküle mit Unendlich Langen Termen -- Über Skolemerweiterungen in der Intuitionistichen Logik mit Gleichheit -- Eine Variante des Bezeichnungssystems W(X) für Ordinalzahlen -- An upper bound for the provability of transfinite induction in systems with N-times iterated inductive definitions -- Comments on gentzen-type procedures and the classical notion of truth -- Bemerkungen zu Regel und Schema -- Infinite terms and recursion in higher types -- Consistency proofs and ordinals -- Markov's principle and Markov's rule for theores of choice sequences. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
|
|
|
|
|
2. |
Record Nr. |
UNIORUON00061034 |
|
|
Autore |
al-Idrīsī, Muḥammad Ibn-Muḥammad |
|
|
Titolo |
La Finlande et les autres pays baltiques orientaux (Geographie, VII 4) / édition critique du texte arabe par O.J. Tallgren-Tuulio, A.M. Tallgren |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Helsinki, : Helsingforsiae, : Societas Orientalis Fennica, 1930 |
|
|
|
|
|
|
|
Titolo uniforme |
Kitab nuzhat al-mushtaq fi ikhtiraq al-afaq / al-Idrisi |
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Classificazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
| |