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.
Altre edizioni note dello stesso titolo
Risultati della ricerca per ISILC - Proof Theory Symposion: Dedicated to Kurt Schütte...
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
Compra usato
EUR 12,81
Spese di spedizione:
EUR 3,89
In U.S.A.
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 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
Compra usato
EUR 11,95
Spese di spedizione:
EUR 12,95
Da: Germania a: U.S.A.
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
Compra usato
EUR 26,00
Spese di spedizione:
EUR 10,00
Da: Germania a: U.S.A.
Quantità: 1 disponibili
Foto dell'editore
ISILC - Proof Theory Symposion (Paperback)
Editore:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1976
ISBN 10: 354007533X
ISBN 13: 9783540075332
Nuovo
Paperback
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: new. Paperback. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Codice articolo 9783540075332
Compra nuovo
EUR 46,47
Spese di spedizione:
GRATIS
In U.S.A.
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: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Mar3113020157715
Compra nuovo
EUR 44,75
Spese di spedizione:
EUR 3,45
In U.S.A.
Quantità: Più di 20 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
Compra nuovo
EUR 36,49
Spese di spedizione:
EUR 13,63
Da: Regno Unito a: U.S.A.
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.
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
Compra usato
EUR 11,10
Spese di spedizione:
EUR 40,00
Da: Germania a: U.S.A.
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
Compra nuovo
EUR 37,40
Spese di spedizione:
EUR 23,00
Da: Germania a: U.S.A.
Quantità: 2 disponibili
Foto dell'editore
Isilc - Proof Theory Symposion
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 400. Codice articolo 263069235
Compra nuovo
EUR 60,62
Spese di spedizione:
EUR 3,45
In U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Isilc - Proof Theory Symposion
Print on DemandDa: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
Condizione: New. Print on Demand pp. 400 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Codice articolo 5860076
Compra nuovo
EUR 61,77
Spese di spedizione:
EUR 7,40
Da: Regno Unito a: U.S.A.
Quantità: 4 disponibili