Importo totale (1 articolo articoli):
Destinazione ordine:
schroeder heister peter (158 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (158)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
- Nuovo (132)
- Come nuovo, Ottimo o Quasi ottimo (17)
- Molto buono o Buono (7)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (2)
Legatura
Ulteriori caratteristiche
- Prima ed. (7)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (69)
- Non Print on Demand (109)
Lingua (2)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Extensions of Logic Programming: Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings (Lecture Notes in Artificial Intelligence 596)
Da: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Good. *Price HAS BEEN REDUCED by 10% until Monday, Feb. 2 (SALE item)* 369 pp., paperback, ex library, else textually clean and tight. - 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.
-
Logic, Methodology and Philosophy of Science. Logic and Science Facing the New Technologies
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 25,87
Spedizione EUR 3,37
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Logic, Methodology and Philosophy of Science. Logic and Science Facing the New Technologies
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 29,54
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Extensions of Logic Programming: Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings (Lecture Notes in Artificial Intelligence 596)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
-
Logic, Methodology and Philosophy of Science. Logic and Science Facing the New Technologies
Lingua: Inglese
Editore: College Publications 2015-01, 2015
ISBN 10: 1848901690 ISBN 13: 9781848901698
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 22,04
Spedizione EUR 17,88
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
-
Logic, Methodology and Philosophy of Science. Logic and Science Facing the New Technologies
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 25,79
Spedizione EUR 13,83
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Extensions of Logic Programming: International Workshop, Té??çµ?ingen, FRG, December 8-10, 1989. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. 038753590X Ex-library paperback in very nice condition with the usual markings and attachments.
-
The Logical Writings of Karl Popper (Paperback)
Lingua: Inglese
Editore: Springer Nature Switzerland AG, Cham, 2022
ISBN 10: 3030949281 ISBN 13: 9783030949280
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Prima edizione
Paperback. Condizione: new. Paperback. This open access book is the first ever collection of Karl Popper's writings on deductive logic.Karl R. Popper (1902-1994) was one of the most influential philosophers of the 20th century. His philosophy of science ("falsificationism") and his social and political philosophy ("open society") have been widely discussed way beyond academic philosophy. What is not so well known is that Popper also produced a considerable work on the foundations of deductive logic, most of it published at the end of the 1940s as articles at scattered places. This little-known work deserves to be known better, as it is highly significant for modern proof-theoretic semantics.This collection assembles Popper's published writings on deductive logic in a single volume, together with all reviews of these papers. It also contains a large amount of unpublished material from the Popper Archives, including Popper's correspondence related to deductive logic and manuscripts that were (almost) finished, but did not reach the publication stage. All of these items are critically edited with additional comments by the editors. A general introduction puts Popper's work into the context of current discussions on the foundations of logic. This book should be of interest to logicians, philosophers, and anybody concerned with Popper's work. This open access book is the first ever collection of Karl Popper's writings on deductive logic.Karl R. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Logical Writings of Karl Popper
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
The Logical Writings of Karl Popper (Trends in Logic)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 47,63
Spedizione EUR 3,37
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Substructural Logics (Studies in Logic and Computation)
Da: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Fine. *Price HAS BEEN REDUCED by 10% until Monday, Feb. 2 (SALE item)* 396 pp., hardcover, ownership markings to the front free endpaper and fore edge, else 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.
-
Advances in Proof-Theoretic Semantics (Trends in Logic, 43)
Libro 34 di 46: Trends in LogicDa: PsychoBabel & Skoob Books, Didcot, Regno Unito
Valutazione del venditore 5 su 5 stelle
Prima edizione
EUR 40,43
Spedizione EUR 14,43
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: As New. 1st Edition. Like new, unread, shop store room stock. CE. Book.
-
Extensions of Logic Programming : 5th International Workshop, Elp '96 Leipzig, Germany, March 28-30, 1996 : Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
Extensions of Logic Programming (Paperback)
Lingua: Inglese
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1996
ISBN 10: 3540609830 ISBN 13: 9783540609834
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: new. Paperback. This book constitutes the refereed proceedings of the 5th International Workshop on Extensions of Logic Programming, ELP '96, held in Leipzig, Germany in March 1996.The 18 full papers included were carefully selected by the program committee and are presented together with three invited papers. Among the topics addressed in this book are categorical logic programming, correctness of logic programs, functional-logic languages, implementation issues, linear logic programming, nonmonotonic reasoning, and proof search. This book constitutes the refereed proceedings of the 5th International Workshop on Extensions of Logic Programming, ELP '96, held in Leipzig, Germany in March 1996.The 18 full papers included were carefully selected by the program committee and are presented together with three invited papers. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Extensions of Logic Programming : International Workshop, Tübingen, Frg, December 8-10, 1989. Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
Proof Theory in Computer Science (Paperback)
Lingua: Inglese
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2001
ISBN 10: 354042752X ISBN 13: 9783540427520
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: new. Paperback. This book constitutes the refereed proceedings of the International Seminar on Proof Theory in Computer Science, PTCS 2001, held in Dagstuhl Castle, Germany, in October 2001. The 13 thoroughly revised full papers were carefully reviewed and selected for inclusion in the book. Among the topics addressed are higher type recursion, lambda calculus, complexity theory, transfinite induction, categories, induction-recursion, post-Turing analysis, natural deduction, implicit characterization, iterate logic, and Java programming. Such a volume not only ?xes basic results of the subject and makes them available to a broader audience, but also signals to the scienti?c community that Proof Theory in Computer Science (PTCS) is a major research branch within the wider ?eld of logic in computer science. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Extensions of Logic Programming (Paperback)
Lingua: Inglese
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1991
ISBN 10: 354053590X ISBN 13: 9783540535904
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: new. Paperback. This volume contains finalized versions of papers presented at an international workshop on extensions of logic programming, held at the Seminar for Natural Language Systems at the University of Tuebingen in December 1989. Several recent extensions of definite Horn clause programming, especially those with a proof-theoretic background, have much in common. One common thread is a new emphasis on hypothetical reasoning, which is typically inspired by Gentzen-style sequent or natural deduction systems. This is not only of theoretical significance, but also bears upon computational issues. It was one purpose of the workshop to bring some of these recent developments together. The volume covers topics such as the languages Lambda-Prolog, N-Prolog, and GCLA, the relationship between logic programming and functional programming, and the relationship between extensions of logic programming and automated theorem proving. It contains the results of the first conference concentrating on proof-theoretic approaches to logic programming. This volume contains finalized versions of papers presented at an international workshop on extensions of logic programming, held at the Seminar for Natural Language Systems at the University of Tuebingen in December 1989. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Extensions of Logic Programming : Second International Workshop, Elp '91, Stockholm, Sweden, January 27-29, 1991. Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
Extensions of Logic Programming (Paperback)
Lingua: Inglese
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1992
ISBN 10: 354055498X ISBN 13: 9783540554981
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: new. Paperback. This volume contains papers presented at the secondinternational workshop on extensions of logic programming,which was held at the Swedish Institute of Computer Science,Stockhom, January 27-29, 1991. The 12 papers describe and discuss several approaches toextensions of logic programming languages such as PROLOG, aswell as connections between logic programming and functionalprogramming, theoretical foundations of extensions,applications, and programming methodologies. The first workshop in this series was held in Tbingen in1989 and its proceedings areavailable as LNCS 475. Thethird workshop will be held in Bologna in 1992. This volume contains papers presented at the secondinternational workshop on extensions of logic programming,which was held at the Swedish Institute of Computer Science,Stockhom, January 27-29, 1991. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Proof Theory in Computer Science : International Seminar, Ptcs 2001, Dagstuhl Castle, Germany, October 7-12, 2001, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 52,87
Spedizione EUR 2,23
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Extensions of Logic Programming: 5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings. (Lecture Notes in Computer Science, 1050)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 51,73
Spedizione EUR 3,37
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Extensions of Logic Programming: Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings (Lecture Notes in Artificial Intelligence 596)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 51,73
Spedizione EUR 3,37
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Extensions of Logic Programming: International Workshop, Tübingen, FRG, December 8-10, 1989. Proceedings (Lecture Notes in Computer Science, 475)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 51,73
Spedizione EUR 3,37
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings (Lecture Notes in Computer Science, 2183)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 51,73
Spedizione EUR 3,37
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Logical Writings of Karl Popper
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition.
-
Advances in Proof-theoretic Semantics
Libro 34 di 46: Trends in LogicDa: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
Advances in Proof-Theoretic Semantics (Hardcover)
Libro 34 di 46: Trends in LogicLingua: Inglese
Editore: Springer International Publishing AG, Cham, 2015
ISBN 10: 3319226851 ISBN 13: 9783319226859
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Prima edizione
Hardcover. Condizione: new. Hardcover. This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Dummett's justification of logical laws, Kreisel's theory of constructions, paradoxical reasoning, and the defence of model theory.The field of proof-theoretic semantics has existed for almost 50 years, but the term itself was proposed by Schroeder-Heister in the 1980s. Proof-theoretic semantics explains the meaning of linguistic expressions in general and of logical constants in particular in terms of the notion of proof. This volume emerges from presentations at the Second International Conference on Proof-Theoretic Semantics in Tuebingen in 2013, where contributing authors were asked toprovide a self-contained description and analysis of a significant research question in this area. The contributions are representative of the field and should be of interest to logicians, philosophers, and mathematicians alike. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Advances in Proof-Theoretic Semantics (Trends in Logic, 43)
Libro 34 di 46: Trends in LogicDa: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 56,62
Spedizione EUR 3,37
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Logical Writings of Karl Popper
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
The Logical Writings of Karl Popper (Hardcover)
Lingua: Inglese
Editore: Springer Nature Switzerland AG, Cham, 2022
ISBN 10: 3030949257 ISBN 13: 9783030949259
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Prima edizione
Hardcover. Condizione: new. Hardcover. This open access book is the first ever collection of Karl Popper's writings on deductive logic.Karl R. Popper (1902-1994) was one of the most influential philosophers of the 20th century. His philosophy of science ("falsificationism") and his social and political philosophy ("open society") have been widely discussed way beyond academic philosophy. What is not so well known is that Popper also produced a considerable work on the foundations of deductive logic, most of it published at the end of the 1940s as articles at scattered places. This little-known work deserves to be known better, as it is highly significant for modern proof-theoretic semantics.This collection assembles Popper's published writings on deductive logic in a single volume, together with all reviews of these papers. It also contains a large amount of unpublished material from the Popper Archives, including Popper's correspondence related to deductive logic and manuscripts that were (almost) finished, but did not reach the publication stage. All of these items are critically edited with additional comments by the editors. A general introduction puts Popper's work into the context of current discussions on the foundations of logic. This book should be of interest to logicians, philosophers, and anybody concerned with Popper's work. This open access book is the first ever collection of Karl Popper's writings on deductive logic.Karl R. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
