Montant total (1 article articles) :
Destination de la commande :
prawitz dag (58 résultats)
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (58)
- Magazines & Périodiques (Aucun autre résultat ne correspond à ces critères)
- Bandes dessinées (Aucun autre résultat ne correspond à ces critères)
- Partitions de musique (Aucun autre résultat ne correspond à ces critères)
- Art, Affiches et Gravures (Aucun autre résultat ne correspond à ces critères)
- Photographies (Aucun autre résultat ne correspond à ces critères)
- Cartes (Aucun autre résultat ne correspond à ces critères)
- Manuscrits & Papiers anciens (Aucun autre résultat ne correspond à ces critères)
Etat En savoir plus
- Neuf (38)
- Comme neuf, Très bon ou Bon (6)
- Assez bon ou satisfaisant (8)
- Moyen ou mauvais (Aucun autre résultat ne correspond à ces critères)
- Conformément à la description (6)
Particularités
- Ed. originale (2)
- Signé (Aucun autre résultat ne correspond à ces critères)
- Jaquette (2)
- Avec images (28)
- Sans impressions à la demande (48)
Langue (2)
Livraison gratuite
Pays
Evaluation du vendeur
-
Natural Deduction: A Proof-Theoretical Study (Dover Books on Mathematics)
Vendeur : PlumCircle, West Mifflin, PA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 0,95
Expédition à EUR 4,25
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierpaperback. Etat : Very Good. Publisher overstock. May have remainder mark / minor shelfwear. 99% of orders arrive in 4-10 days. Discounted shipping on multiple books.
-
Natural Deduction : A Proof-theoretical Study
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 7,18
Expédition à EUR 2,25
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Natural Deduction
Langue: anglais
Edité par Dover Publications Inc., US, 2006
ISBN 10 : 0486446557 ISBN 13 : 9780486446554
Vendeur : Rarewaves USA, OSWEGO, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 9,50
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierPaperback. Etat : New.
-
Natural Deduction : A Proof-theoretical Study
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 7,52
Expédition à EUR 2,25
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Natural Deduction: A Proof-Theoretical Study (Paperback or Softback)
Langue: anglais
Edité par Dover Publications 2/24/2006, 2006
ISBN 10 : 0486446557 ISBN 13 : 9780486446554
Vendeur : BargainBookStores, Grand Rapids, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 10,05
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 5 disponible(s)
Ajouter au panierPaperback or Softback. Etat : New. Natural Deduction: A Proof-Theoretical Study. Book.
-
Natural Deduction: A Proof-Theoretical Study (Dover Books on Mathematics)
Vendeur : Lakeside Books, Benton Harbor, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 6,59
Expédition à EUR 3,40
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. Brand New! Not Overstocks or Low Quality Book Club Editions! Direct From the Publisher! We're not a giant, faceless warehouse organization! We're a small town bookstore that loves books and loves it's customers! Buy from Lakeside Books!
-
Natural Deduction: A Proof-Theoretical Study (Dover Books on Mathematics)
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 11,41
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
EUR 11,45
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. Brand New.
-
Natural Deduction (Paperback)
Langue: anglais
Edité par Dover Publications Inc., New York, 2006
ISBN 10 : 0486446557 ISBN 13 : 9780486446554
Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 11,98
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : new. Paperback. An innovative approach to the semantics of logic, proof-theoretic semantics seeks the meaning of propositions and logical connectives within a system of inference. Gerhard Gentzen invented proof-theoretic semantics in the early 1930s, and Dag Prawitz, the author of this study, extended its analytic proofs to systems of natural deduction. Prawitz's theories form the basis of intuitionistic type theory, and his inversion principle constitutes the foundation of most modern accounts of proof-theoretic semantics.The concept of natural deduction follows a truly natural progression, establishing the relationship between a noteworthy systematization and the interpretation of logical signs. As this survey explains, the deduction's principles allow it to proceed in a direct fashion - a manner that permits every natural deduction's transformation into the equivalent of normal form theorem. A basic result in proof theory, the normal form theorem was established by Gentzen for the calculi of sequents. The proof of this result for systems of natural deduction is in many ways simpler and more illuminating than alternative methods. This study offers clear illustrations of the proof and numerous examples of its advantages. Prawitz's theories form the basis of intuitionistic type theory, and his inversion principle constitutes the foundation of most modern accounts of proof-theoretic semantics. The proof-theoretical system represents a simpler and more illuminating method than alternative approaches, and this volume offers a succinct, coherent illustration of its applications to natural deduction. 1965 edition. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Natural Deduction
Langue: anglais
Edité par Dover Publications Inc., US, 2006
ISBN 10 : 0486446557 ISBN 13 : 9780486446554
Vendeur : Rarewaves.com USA, London, LONDO, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 12,07
Livraison gratuite
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierPaperback. Etat : New.
-
Natural Deduction: A Proof-Theoretical Study (Dover Books on Mathematics)
Edité par Dover Publications
Vendeur : Academic Book Solutions, Medford, NY, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 5,27
Expédition à EUR 3,40
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierpaperback. Etat : LikeNew. Used Like New, no missing pages, no damage to binding, may have a remainder mark.
-
Natural Deduction: A Proof-theoretical Study
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 10,29
Expédition à EUR 11,53
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. 113 pages. 8.50x5.50x0.25 inches. In Stock.
-
Natural Deduction: A Proof-Theoretical Study (Dover Books on Mathematics)
Langue: anglais
Edité par Dover Publications Inc. 2009-01-01, 2009
ISBN 10 : 0486446557 ISBN 13 : 9780486446554
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 10,02
Expédition à EUR 17,87
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 20 disponible(s)
Ajouter au panierPaperback. Etat : New.
-
Natural Deduction : A Proof-theoretical Study
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 10,97
Expédition à EUR 17,30
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Natural Deduction: A Proof-Theoretical Study (Dover Books on MaTHEMA 1.4tics)
Vendeur : WorldofBooks, Goring-By-Sea, WS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 23,14
Expédition à EUR 6,46
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
-
Natural Deduction : A Proof-theoretical Study
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 13,04
Expédition à EUR 17,30
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Logic and Philosophy of Science in Uppsala
Vendeur : avelibro OHG, Dinkelscherben, Allemagne
Membre d'association : BOEV
Évaluation du vendeur 5 sur 5 étoiles
Edition originale
EUR 26
Expédition à EUR 10
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panier23,5 x 15,5 cm. Etat : Gut. 1. Auflage. IX, 614 Seiten Papers from the 9th International Congress of Logic, Methodology and Philosophy of Science. Innen sauberer, guter Zustand. Hardcover, Pappeinband, mit den üblichen Bibliotheks-Markierungen, Stempeln und Einträgen, innen wie außen, siehe Bilder. Guter Zustand. - Synthese Library, volume 236. B13-04-04D|A63 Sprache: Englisch Gewicht in Gramm: 1066.
-
Theoria: A Swedish Journal of Philosophy, Volume XXXII, Volume XXXIII.
Langue: anglais
Edité par C. W. K. Gleerup, 1966, 1967., Lund, Sweden, 1966
Vendeur : Pride and Prejudice-Books, Ballston Lake, NY, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 42,13
Expédition à EUR 4,26
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Very Good. Etat de la jaquette : No Dust Jacket. First Edition. Complete 6 issues for 1966 and 1967. Wrappers bound in. Crimson library buckram with spine label, university and withdrawn stamps, etc., few magic marker notations on front wrappers, else Very Good. No Dust Jacket.
-
Natural Deduction
Langue: anglais
Edité par Dover Publications Inc., US, 2006
ISBN 10 : 0486446557 ISBN 13 : 9780486446554
Vendeur : Rarewaves USA United, OSWEGO, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 10,98
Expédition à EUR 42,61
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierPaperback. Etat : New.
-
EUR 11,96
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. Inhaltsverzeichnisrnrn1. Natural Deduction of Gentzen-Typen2. The Inversion Principlen3. Normal Deductions in Classical Logicn4. Normal Deductions in Intuitionistic Logicn5. Second Order Logicn6. Modal Logicn7. Some Other Concepts of Impl.
-
Meaning and Interpretation: Conference held in Stockholm, September 24-26, 1998. Konferenser, 55.
Langue: anglais
Edité par Stockholm: Almqvist & Wiksell Intl, 2002
ISBN 10 : 9174023217 ISBN 13 : 9789174023213
Vendeur : Borkert, Schwarz und Zerfaß GbR, Berlin, Allemagne
Membre d'association : BOEV GIAQ
Évaluation du vendeur 5 sur 5 étoiles
Bonne affaireEUR 23,20
Expédition à EUR 40
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback with dust jacket. Etat : Gut. 302 p. Der Schutzumschlag ist stark berieben, ansonsten ein gutes und sauberes Exemplar ohne Anstreichungen. / The dust jacket is heavily rubbed, otherwise a good and clean copy without markings. -- Contents -- Preface -- Dag Prawitz, Presentation of the Program "Meaning and Interpretation" -- Paul Ric½ur, Interpretation in History -- Jørgen Dines Johansen, A Semiotic Perspective on the Interpretation of Literary Texts -- Kendall L. Walton, Empathy and Musical Tension -- Donald Davidson, Interpretation: Hard in Theory, Easy in Practice -- Staffan Carlshamre, Interpreting Interpretation -- Dag Prawitz, Meaning and Objectivity -- Rolf Torstendahl, Constructions and Constructivism in History -- Arne Jarrick, Textual Analysis in the Historiography of Men-talities: Its External and Internal Problem of Representativity -- Östen Dahl, Compositionality, Conventionality and Creativity -- Peter Pagin, Rule-Following, Compositionality and the Norma-tivity of Meaning -- Göran Rossholm, Reading Narrative Fiction -- Anders Pettersson, Basic Kinds of Literary and Artistic Interpretation -- Lars Hartman, Do Exegetes Interpret? -- Åke Frändberg, Statutory Interpretation Against the Background of a General Typology of Interpretation -- Hans Ruin, Meaning, Understanding and the Hermeneutic Situation -- Dag Westerståhl, Are Idioms in Conflict with Compositionality? -- List of participants in the conference. ISBN 9789174023213 Sprache: Englisch Gewicht in Gramm: 563.
-
Logic, Methodology and Philosophy of Science IX
Vendeur : Recycle Bookstore, San Jose, CA, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 60,56
Expédition à EUR 4,90
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Fine. Hardcover. At the bottom of the text block the book has the smallest of black smudges. Aside from that this is a fine copy with bright and crisp pages free of pencil marks.
-
ABC i symbolisk logik. Logikens språk och grundbegrepp.
Edité par Thales 2001. 2001, 2001
Vendeur : Rönnells Antikvariat AB, Stockholm, Suède
Membre d'association : ILAB SVAF
Évaluation du vendeur 5 sur 5 étoiles
EUR 18,89
Expédition à EUR 26
Expédition depuis Suède vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panier241 s. Förlagets illustrerade pappband. Enstaka marginalförstrykningar i blyerts, försättsblad med tillskrift.
-
Natural Deduction : A Proof-Theoretical Study
Langue: anglais
Edité par Dover Publications Feb 2006, 2006
ISBN 10 : 0486446557 ISBN 13 : 9780486446554
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 13,28
Expédition à EUR 60,68
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Neuware - Prawitz's theories form the basis of intuitionistic type theory, and his inversion principle constitutes the foundation of most modern accounts of proof-theoretic semantics. The proof-theoretical system represents a simpler and more illuminating method than alternative approaches, and this volume offers a succinct, coherent illustration of its applications to natural deduction. 1965 edition.
-
Natural Deduction: A Proof-Theoretical Study (Dover Books on Mathematics)
Vendeur : BennettBooksLtd, Los Angeles, CA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 72,58
Expédition à EUR 5,92
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierpaperback. Etat : New. In shrink wrap. Looks like an interesting title!
-
Theoria, Volume XXXVI (1970, Part 3): In Memory of Arthur Prior [with a bibliography of Prior's philosophical writings]
Edité par C.W.K. Gleerup, 1970
Vendeur : Book House in Dinkytown, IOBA, Minneapolis, MN, Etats-Unis
Membre d'association : IOBA
Évaluation du vendeur 5 sur 5 étoiles
EUR 43,88
Expédition à EUR 5,54
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Very Good. "Theoria: A Swedish Magazine of Philosophy." Issue devoted to Arthur Prior [A.N. Prior]. Contains a bibliography of Prior's philosophical writings. This volume contains pp186-398. All articles in this issue in English. Binding sturdy, text appears very good, save some pencil ticks to the bibliography. Light wear to wraps. NOT ex-lib. Ships same or next business day from Dinkytown in Minneapolis, Minnesota.
-
Natural Deduction
Langue: anglais
Edité par Dover Publications Inc., US, 2006
ISBN 10 : 0486446557 ISBN 13 : 9780486446554
Vendeur : Rarewaves.com UK, London, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 10,85
Expédition à EUR 74,97
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierPaperback. Etat : New.
-
Logic and Philosophy of Science in Uppsala: Papers from the 9th International Congress of Logic; Methodology and Philosophy of Science
Langue: anglais
Edité par Kluwer Academic Publishers, Netherlands, 1994
ISBN 10 : 0792327020 ISBN 13 : 9780792327028
Vendeur : Shiny Owl Books, Gloucester, NSW, Australie
Évaluation du vendeur 3 sur 5 étoiles
EUR 70,51
Expédition à EUR 17,89
Expédition depuis Australie vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Good. Etat de la jaquette : Fair. Size: Medium (20 to 26cm). Item Type: Book. Text body is clean and unmarked. Binding tight, spine fine. Damp damage principally to jacket, which is now stuck to spine, stained jacket. Minor damp crinkling to early pages but no staining. PAges are bright and white and probably unread. It just got a little damp. ISBN: 0792327020. ISBN/EAN: 9780792327028. **Heavy Book. A Postage surcharge may be requested. Contact us BEFORE ordering for a quote. Click Ask Bookseller a Question** *** WE POST TO AUSTRALIA,UK,IRELAND,CANADA,USA,NEW ZEALAND,JAPAN & SINGAPORE ONLY ***.
-
ABC i symbolisk logik. Logikens språk och grundbegrepp.
Edité par Thales 2010. 2001, 2010
Vendeur : Rönnells Antikvariat AB, Stockholm, Suède
Membre d'association : ILAB SVAF
Évaluation du vendeur 5 sur 5 étoiles
EUR 15,11
Expédition à EUR 26
Expédition depuis Suède vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierXI, 241 s. Illustrerat förlagsband. Några marginalnoteringar samt förstrykningar med överstrykningspenna.
-
Meaning & Interpretation: Conference Held in Stockholm, September 24-26, 1998 (Vitterhets Historie Och Antikvitis Akademien, Konferenser, 55)
Langue: anglais
Edité par Kungl. Vitterhets, historie och antikvitets akademien, 2002
ISBN 10 : 9174023217 ISBN 13 : 9789174023213
Vendeur : Joseph Burridge Books, Dagenham, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 77,22
Expédition à EUR 31,14
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierSoft cover. Etat : New. 302 pages ; 23 cm. This volume contains 16 papers on problems about meaning and interpretation. The themes treated range from general philosophical issues concerning meaning and interpretation to more specific questions about interpretation of historical events, Biblical texts and statutory law. Three themes that receive much attention in several papers are: the objectivity and normativity of meaning, the reading and interpretation of fiction, and the role and limitations of the principle of compositionality in linguistic understanding. All the papers were presented at a conference held in Stockholm in 1998 with scholars from philosophy, linguistics, aesthetic disciplines, history, jurisprudence and theology. There are four invited papers from outside Sweden, viz. by Donald Davidson, "Interpretation: Hard in Theory, Easy in Practice", Jørgen Dines Johansen, "A Semiotic Perspective on the Interpretation of Literary Texts", Paul Ricoeur, "Interpretation in History", and Kendall L. Walton, "Empathy and Musical Tension".
