Importo totale (1 articolo articoli):
Destinazione ordine:
troelstra a s (79 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (79)
- 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
Legatura
Ulteriori caratteristiche
- Prima ed. (3)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (3)
- Con foto (34)
- Non Print on Demand (64)
Lingua (2)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Lectures on Linear Logic (Volume 29) (Lecture Notes)
Lingua: Inglese
Editore: Center for the Study of Language and Inf, 1992
ISBN 10: 0937073776 ISBN 13: 9780937073773
Da: Greenworld Books, Arlington, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: good. Fast Free Shipping â" Good condition book with a firm cover and clean, readable pages. Shows normal use, including some light wear or limited notes highlighting, yet remains a dependable copy overall. Supplemental items like CDs or access codes may not be included.
-
Constructivism in Mathematics: An Introduction
Da: Chamblin Bookmine, Jacksonville, FL, U.S.A.
Membro dell'associazione: FABA
Valutazione del venditore 5 su 5 stelle
8vo Softcover. Condizione: Very Good. Volume 121. 342p. Studies in Logic and the Foundations of Mathematics, Volume 121. Bright pages are unmarked. Yellow wraps are vibrant with lightly bumped corners and a rubbed spine. Binding is tight with securely attached hinges.
-
Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science) (Volume 43)
Lingua: Inglese
Editore: Cambridge University Press, 1996
ISBN 10: 0521572231 ISBN 13: 9780521572231
EUR 24,62
Spedizione EUR 15,44
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Fair. Volume 43. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In fair condition, suitable as a study copy. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,750grams, ISBN:9780521572231.
-
Basic Proof Theory
Lingua: Inglese
Editore: Cambridge University Press, 2000
ISBN 10: 0521779111 ISBN 13: 9780521779111
EUR 29,78
Spedizione EUR 10,95
Spedito da Canada a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. In great condition.The pages are clean and intact and the binding is tight. Buy with confidence - satisfaction guaranteed.; 6 X 1.08 X 9 inches; 432 pages; Reduced price by 10% on June 19, 2025.
-
Basic proof Theory
Lingua: Inglese
Editore: Cambridge University Press, 1996
ISBN 10: 0521572231 ISBN 13: 9780521572231
Hardcover. Condizione: Good. No Jacket. Hardcover - clean, no marks, clean inside, no dj - from a private collection -.
-
Constructivism in Mathematics: An Introduction, vol. 1 Studies in Logic and the Foundations of Mathematics, vol. 121
Lingua: Inglese
Editore: North-Holland, 1988
Da: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germania
Valutazione del venditore 5 su 5 stelle
EUR 39,95
Spedizione EUR 12,95
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloBroschiert. Condizione: Gut. 342 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann entsprechende Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel.). Aufgrund des Alters und der häufigen Nutzung können Stabilität, Einband sowie Papierqualität beeinträchtigt sein. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 525.
-
Constructivism in Mathematics
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 53,38
Spedizione EUR 2,23
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Constructivism in Mathematics: An Introduction (Volume 121) (Studies in Logic and the Foundations of Mathematics, Volume 121)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 52,22
Spedizione EUR 3,36
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Constructivism in Mathematics
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 57,76
Spedizione EUR 2,23
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Basic Proof Theory
Lingua: Inglese
Editore: Cambridge University Press, 2000
ISBN 10: 0521779111 ISBN 13: 9780521779111
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 59,88
Spedizione EUR 2,23
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43)
Lingua: Inglese
Editore: Cambridge University Press, 2000
ISBN 10: 0521779111 ISBN 13: 9780521779111
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 58,71
Spedizione EUR 3,36
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Basic Proof Theory
Lingua: Inglese
Editore: Cambridge University Press, 2000
ISBN 10: 0521779111 ISBN 13: 9780521779111
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 62,04
Spedizione EUR 2,23
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Lectures on Linear Logic CSLI Lectures Notes, 29
Lingua: Inglese
Editore: Center for the Study of Language and Information Publica Tion, 1992
ISBN 10: 0937073784 ISBN 13: 9780937073780
Da: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germania
Valutazione del venditore 5 su 5 stelle
EUR 49,95
Spedizione EUR 12,95
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrellogebundene Ausgabe. Condizione: Gut. 200 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: 545.
-
Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43)
Lingua: Inglese
Editore: Cambridge University Press, 2000
ISBN 10: 0521779111 ISBN 13: 9780521779111
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 66,01
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Constructivism in Mathematics, Vol 1: An Introduction: Volume 121 (Studies in Logic and the Foundations of Mathematics)
Lingua: Inglese
Editore: Elsevier Science 1988-07-01, 1988
ISBN 10: 0444702660 ISBN 13: 9780444702661
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 52,27
Spedizione EUR 17,85
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloHardcover. Condizione: New.
-
CONSTRUCTIVISM IN MATHEMATICS VOL.2 AN INTRODUCTION.
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 61,60
Spedizione EUR 7,49
Spedito da Regno Unito a U.S.A.Quantità: 3 disponibili
Aggiungi al carrelloCondizione: New.
-
Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43)
Lingua: Inglese
Editore: Cambridge University Press, 2000
ISBN 10: 0521779111 ISBN 13: 9780521779111
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 61,27
Spedizione EUR 13,80
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science)
Lingua: Inglese
Editore: Cambridge University Press 2000-07-27, 2000
ISBN 10: 0521779111 ISBN 13: 9780521779111
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 57,54
Spedizione EUR 17,85
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
-
Constructivism in Mathematics, Vol 2: An Introduction: v. 2 (Studies in Logic and the Foundations of Mathematics)
Lingua: Inglese
Editore: Elsevier Science 1988-11-01, 1988
ISBN 10: 0444703586 ISBN 13: 9780444703583
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 59,50
Spedizione EUR 17,85
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloHardcover. Condizione: New.
-
Basic Proof Theory
Lingua: Inglese
Editore: Cambridge University Press, 2000
ISBN 10: 0521779111 ISBN 13: 9780521779111
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 60,49
Spedizione EUR 17,28
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Basic Proof Theory
Lingua: Inglese
Editore: Cambridge University Press, GB, 2000
ISBN 10: 0521779111 ISBN 13: 9780521779111
Da: Rarewaves.com USA, London, LONDO, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 77,59
Spedizione gratuita
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback. Condizione: New. This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order logic. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic (intuitionistic as well as classical); the theory of logic programming; category theory; modal logic; linear logic; first-order arithmetic and second-order logic. In each case the aim is to illustrate the methods in relatively simple situations and then apply them elsewhere in much more complex settings. There are numerous exercises throughout the text. In general, the only prerequisite is a standard course in first-order logic, making the book ideal for graduate students and beginning researchers in mathematical logic, theoretical computer science and artificial intelligence. For the new edition, many sections have been rewritten to improve clarity, new sections have been added on cut elimination, and solutions to selected exercises have been included.
-
EUR 65,14
Spedizione EUR 15,44
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,900grams, ISBN:3540064915.
-
Constructivism in Mathematics: Vol 002
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 66,27
Spedizione EUR 14,40
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloHardcover. Condizione: Brand New. 250 pages. 9.25x6.50x1.25 inches. In Stock.
-
Constructivism in Mathematics
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 64,87
Spedizione EUR 17,28
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Constructivism in Mathematics, 121: An Introduction (Paperback or Softback)
Da: BargainBookStores, Grand Rapids, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback or Softback. Condizione: New. Constructivism in Mathematics, 121: An Introduction. Book.
-
Constructivism in Mathematics: An Introduction (Volume 121) (Studies in Logic and the Foundations of Mathematics, Volume 121)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 71,86
Spedizione EUR 13,80
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
CONSTRUCTIVISM IN MATHEMATICS VOL.2 AN INTRODUCTION.
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New.
-
Basic Proof Theory
Lingua: Inglese
Editore: Cambridge University Press, 2000
ISBN 10: 0521779111 ISBN 13: 9780521779111
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 68,97
Spedizione EUR 17,28
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
![Immagine del venditore per Principles of Intuitionism. [= Lecture Notes in Mathematics, Bd. 95] venduto da Antiquariat hinter der Stadtmauer](https://pictures.abebooks.com/inventory/md/md30999332674.jpg)
Principles of Intuitionism. [= Lecture Notes in Mathematics, Bd. 95]
Lingua: Inglese
Editore: Berlin, Heidelberg, New York, Springer,, 1969
Da: Antiquariat hinter der Stadtmauer, Hann. Münden, Germania
Valutazione del venditore 5 su 5 stelle
EUR 15,00
Spedizione EUR 72,75
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloSoftcover/Paperback. Condizione: Sehr gut. 111 S., 28x21 cm OBroschur, kart. Kanten wenig berieben/bestoßen; innen sauber und fest; sehr gutes Exemplar. Sprache: Englisch Gewicht in Gramm: 300.
-
CONSTRUCTIVISM IN MATHEMATICS VOL.2 AN INTRODUCTION.
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
EUR 77,43
Spedizione EUR 9,95
Spedito da Germania a U.S.A.Quantità: 3 disponibili
Aggiungi al carrelloCondizione: New.
