Articoli correlati a ISILC - Proof Theory Symposion: Dedicated to Kurt Schütte...
ISILC - Proof Theory Symposion: Dedicated to Kurt Schütte on the Occasion of His 65th Birthday. Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974: 500 - Brossura
Contenuti
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.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreSpringer
- Data di pubblicazione2009
- ISBN 10 354007533X
- ISBN 13 9783540075332
- RilegaturaCopertina flessibile
- LinguaInglese
- Numero di pagine396
- RedattoreDiller Justus
- Contatto del produttorenon disponibile
Compra nuovo
Visualizza questo articolo
EUR 37,40
EUR 11,00 per la spedizione da Germania a Italia
Destinazione, tempi e costi
Risultati della ricerca per ISILC - Proof Theory Symposion: Dedicated to Kurt Schütte...
Immagini fornite dal venditore
ISILC - Proof Theory Symposion: Dedicated to Kurt Schütte on the Occasion of His 65th Birthday. Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974 Lecture Notes in Mathematics, 500
Da: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germania
Valutazione del venditore 5 su 5 stelle
Broschiert. Condizione: Gut. 383 Seiten Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 590. Codice articolo 2206941
Quantità: 1 disponibili
Immagini fornite dal venditore
ISILC Proof Theory Symposion. Dedicated to Kurt Schütte on the Occasion of His 65th Birthday Proceedings of the International Summer Institute and Logic Colloquium Kiel 1974.
Da: Antiquariat Bookfarm, Löbnitz, Germania
Valutazione del venditore 5 su 5 stelle
Softcover. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. C-01753 354007533X Sprache: Englisch Gewicht in Gramm: 1150. Codice articolo 2485631
Quantità: 1 disponibili
Foto dell'editore
ISILC - Proof Theory Symposion: Dedicated to Kurt Schutte on the Occasion of His 65th Birthday. Proceedings of the International Summer Institute and . Kiel 1974 (Lecture Notes in Mathematics, 500)
Da: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Fine. 383 pp., paperback, fine. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Codice articolo ZB1297717
Quantità: 1 disponibili
Foto dell'editore
ISILC - Proof Theory Symposion : Dedicated to Kurt Schütte on the Occasion of His 65th Birthday. Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974
Editore:
Springer Berlin Heidelberg, 1976
ISBN 10: 354007533X
ISBN 13: 9783540075332
Antico o usato
Brossura
Da: Buchpark, Trebbin, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: Sehr gut. Zustand: Sehr gut - Gepflegter, sauberer Zustand. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. | Seiten: 396 | Sprache: Englisch | Produktart: Sonstiges. Codice articolo 4323153/202
Quantità: 1 disponibili
Immagini fornite dal venditore
ISILC Proof Theory Symposion Dedicated to Kurt Schütte on the Occasion of His 65th Birthday / Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974
Editore:
Berlin ; Heidelberg : Springer, 1975
ISBN 10: 354007533X
ISBN 13: 9783540075332
Antico o usato
24 x 16,5 cm
Da: avelibro OHG, Dinkelscherben, Germania
Valutazione del venditore 5 su 5 stelle
24 x 16,5 cm. Condizione: Gut. Lecture Notes in Mathematics 500. VIII, 383 Pages ; With Illustrations Innen sauberer, guter Zustand. Softcover, Broschur mit den üblichen Bibliotheks-Markierungen, Stempeln und Einträgen, innen wie außen, siehe Bilder. (Evtl. auch Kleber- und/oder Etikettenreste, sowie -abdrücke durch abgelöste Bibliotheksschilder). Einband angestaubt und Papierbedingt leicht gebräunt. Englische Sprache - Original Paperback with Library label. Shop-soiled. Inside with Library stamps, Paper little bronzy, in good condition. English Language MIG-27-02A|S25 Sprache: Englisch Gewicht in Gramm: 560. Codice articolo 70669
Quantità: 1 disponibili
Immagini fornite dal venditore
ISILC - Proof Theory Symposion
Editore:
Springer Berlin Heidelberg Jan 1976, 1976
ISBN 10: 354007533X
ISBN 13: 9783540075332
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 396 pp. Englisch, Deutsch. Codice articolo 9783540075332
Quantità: 2 disponibili
Foto dell'editore
ISILC - Proof Theory Symposion: Dedicated to Kurt Schütte on the Occasion of His 65th Birthday. Proceedings of the International Summer Institute and ... Kiel 1974 (Lecture Notes in Mathematics, 500)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783540075332_new
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
ISILC - Proof Theory Symposion : Dedicated to Kurt Schütte on the Occasion of His 65th Birthday. Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974
Editore:
Springer Berlin Heidelberg, 1976
ISBN 10: 354007533X
ISBN 13: 9783540075332
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering. Codice articolo 9783540075332
Quantità: 1 disponibili
Foto dell'editore
ISILC - Proof Theory Symposion: Dedicated to Kurt Schütte on the Occasion of His 65th Birthday. Proceedings of the International Summer Institute and ... Kiel 1974 (Lecture Notes in Mathematics, 500)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo I-9783540075332
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
ISILC - Proof Theory Symposion
Da: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. Verzeichnis der Publikationen von Kurt Schuette.- Normalfunktionen und Konstruktive Systeme von Ordinalzahlen.- Sound functors.- A study of generalized standardization in combinatory logic.- Intensionale Funktionalinterpretation der Analysis.- Non-extensiona. Codice articolo 4879640
Quantità: Più di 20 disponibili