Troelstra anne (46 risultati)
Omega-Bibliography of Mathematical Logic VI: Proof Theory, Constructive Mathematics (Perspectives in Mathematical Logic) (Vol 6)
Kister, Jane E. [Editor]; Dalen, Dirk van [Editor]; Troelstra, Anne [Editor]; Müller, Gert H. [Editor]; Lenski, Wolfgang [Assistant];
- Rilegato
Da: A Squared Books (Don Dewhirst), South Lyon, MI, U.S.A.A Squared Books (Don Dewhirst)
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 19,47
EUR 5,70 spedizioneSpedito in U.S.A.Quantità: 2 disponibili
Hardcover. Condizione: Very Good. New York, 1987; yellow cloth covered boards; mild shelf wear; 4to - over 9 3/4" to 12" tall; interior pages in like new condition; interior clean and unmarked; 405 pages.
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 32,33
EUR 14,03 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
- Altre immagini
Lingua: Inglese
Editore: Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 1969
- Brossura
Da: Rarewaves.com USA, London, LONDO, Regno UnitoRarewaves.com USA
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 48,03
Spedizione gratuitaSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Paperback. Condizione: New. 1969 ed.
- Brossura
Da: Chiron Media, Wallingford, Regno UnitoChiron Media
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 29,41
EUR 18,14 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 10 disponibili
PF. Condizione: New.
- Brossura
Da: -OnTimeBooks-, Phoenix, AZ, U.S.A.-OnTimeBooks-
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 51,13
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Ship…ped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.
Editore: Amsterdam: Uitgeverij Atlas, 2003
- Brossura
Da: Aquila Antiquariaat, Lochem, GLD, Paesi BassiAquila Antiquariaat
Contatta il venditoreVenditore con 3 stelleCondizione: Usato
EUR 17,50
EUR 21,00 spedizioneSpedito da Paesi Bassi a U.S.A.Quantità: 1 disponibili
Aggiungi al carrello8vo. 22.8cm. 605 blz., illustr. in tekst, bibliogr. Paperback, geïllustr. omslag. Nieuw exemplaar.
Lingua: Olandese
Editore: Amsterdam-Antwerpen, Uitgeverij Atlas. 2003, 2003
- Brossura
Da: Antiquariaat Schot, Hendrik-Ido-Ambacht, Paesi BassiAntiquariaat Schot
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 13,80
EUR 25,00 spedizioneSpedito da Paesi Bassi a U.S.A.Quantità: 1 disponibili
Original publisher's paperback, pictorial frontcover, thick large 8vo: 606pp.,illustrations, maps, sources, credits illustrations, general bibliography, index. Very fine copy.
- Rilegato
Da: Majestic Books, Hounslow, Regno UnitoMajestic Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 57,47
EUR 7,61 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 3 disponibili
Condizione: New. pp. 380 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.
Editore: Groningen, J.B. Wolters 1901, 1901
- Brossura
Da: Antiquariaat Schot, Hendrik-Ido-Ambacht, Paesi BassiAntiquariaat Schot
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 18,40
EUR 25,00 spedizioneSpedito da Paesi Bassi a U.S.A.Quantità: 1 disponibili
Aggiungi al carrello228 p. Paperback, rug geplakt.
Editore: Groningen, J.B. Wolters 1901, 1901
- Brossura
Da: Antiquariaat Schot, Hendrik-Ido-Ambacht, Paesi BassiAntiquariaat Schot
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 18,40
EUR 25,00 spedizioneSpedito da Paesi Bassi a U.S.A.Quantità: 1 disponibili
Aggiungi al carrello228 p. Paperback, rug verstevigd met linnen.
- Rilegato
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 73,51
EUR 3,51 spedizioneSpedito in U.S.A.Quantità: 3 disponibili
Condizione: New. pp. 380.
- Rilegato
Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 67,97
EUR 9,95 spedizioneSpedito da Germania a U.S.A.Quantità: 3 disponibili
Condizione: New. pp. 380.
Lingua: Inglese
Editore: Amsterdam [u.a.] : North-Holland Publ. Comp., 1982
- Rilegato
Da: Wissenschaftliches Antiquariat Köln Dr. Sebastian Peters UG, Köln, GermaniaWissenschaftliches Antiquariat Köln Dr. Sebastian Peters UG
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 75,00
EUR 10,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Condizione: gut. IX, 523 S., Abb., 23 cm, Bibliotheksexemplar, Einband leicht fleckig, gebräunt, untere Einbandkante mit leichter Druckstelle. Sprache: Englisch.
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 73,61
EUR 14,03 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
- Altre immagini
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 26,70
EUR 60,95 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Logic.- Elementary arithmetic.- Species.- Sequences and constructive (lawlike) objects.- Elementary theory of real numbers.- Ordering relations and order on the real line.- Constructive or lawlike analysis.- Lawless sequences of natural numbers.-…Choice sequences.- Spreads and a theory of real numbers.- Topology; separable metric spaces.- Applications of the continuity principles and the fan theorem.- Well-orderings and ordinals.- Species revisited; the role of the comprehension principle.- Brouwer's theory of the creative subject.
- Altre immagini
- Rilegato
- Prima edizione
Da: Ted Kottler, Bookseller, Redondo Beach, CA, U.S.A.Ted Kottler, Bookseller
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Quasi ottimo
EUR 86,01
EUR 11,16 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: Near Fine. Condizione sovraccoperta: Near Fine. 1st Edition. ix, 170 pp. Original cloth. Near Fine, in near fine- dust jacket (rear panel sunned, price-clipped). Oxford Logic Guides.
- Brossura
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 95,65
EUR 3,51 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New. pp. 432 2nd Edition.
- Brossura
Da: Rob Kok Old Books & Prints, Loosdrecht, NH, Paesi BassiRob Kok Old Books & Prints
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 17,00
EUR 26,00 spedizioneSpedito da Paesi Bassi a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloAmst. & Antwerpen, Atlas, 2003. 605 blz. Geïll. Paperback. Fraai. #9045010828. [52135].
Lingua: Inglese
Editore: Springer Verlag, Berlin, Heidelberg, New York et. al., 1987, 1987
- Rilegato
Da: Antiquariat Stefan Wulf, Berlin, GermaniaAntiquariat Stefan Wulf
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 80,00
EUR 25,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Org.-Hardcover. Quart, XLI, 405 S., einwandfreies, frisches Exemplar. [=Omega-Bibliography of Mathematical Logic. Edited by Gert H. Müller in Collaboration with Wolfgang Lenski. Vol. VI] - ENGLISH: In-quarto, xli, 405 pp., clean, fresh copy. ISBN 3540155244 UND 0387155244. [=Omega-Bibliography of Mathematical Logic. Edited by Ge…rt H. Müller in Collaboration with Wolfgang Lenski. Vol. VI] - ENGLISH: In-quarto, xli, 405 pp., clean, fresh copy. ISBN 3540155244 UND 038715524#4. 2000 g.
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 96,66
EUR 14,64 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback. Condizione: Brand New. 2nd sub edition. 417 pages. 8.75x6.00x0.75 inches. In Stock.
- Altre immagini
Lingua: Inglese
Editore: Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 1969
- Brossura
Da: Rarewaves.com UK, London, Regno UnitoRarewaves.com UK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 32,32
EUR 76,11 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Paperback. Condizione: New. 1969 ed.
- Brossura
Da: Mooney's bookstore, Den Helder, Paesi BassiMooney's bookstore
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Molto buono
EUR 45,88
EUR 14,95 spedizioneSpedito da Paesi Bassi a U.S.A.Quantità: 1 disponibili
Condizione: Very Good.
- Brossura
Da: Mooney's bookstore, Den Helder, Paesi BassiMooney's bookstore
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Molto buono
EUR 45,88
EUR 14,95 spedizioneSpedito da Paesi Bassi a U.S.A.Quantità: 1 disponibili
Condizione: Very Good.
- Altre immagini
- Brossura
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 68,61
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Condizione: New. This is an introduction to the basic ideas of structural proof theory. 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.
- Altre immagini
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 69,54
EUR 63,78 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Intuitionistic formal systems.- Models and computability.- Realizability and functional interpretations.- Normalization theorems for systems of natural deduction.- Applications of Kripke models.- Iterated inductive definitions, trees and ordinals.…- Erratum.
- Altre immagini
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 70,29
EUR 63,49 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence.
- Brossura
Da: Buchpark, Trebbin, GermaniaBuchpark
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Ottimo
EUR 42,09
EUR 105,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 504 | Sprache: Englisch | Produktart: Bücher | Intuitionistic formal systems.- Models and computability.- Realizability and functional interpretations.- Normalization theorems for systems of natural deduction.- Applications of Kripke models.- Iterated inductive definitions, trees… and ordinals.- Erratum.
- Brossura
Da: Mispah books, Redhill, SURRE, Regno UnitoMispah books
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Molto buono
EUR 130,25
EUR 29,27 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book.
- Rilegato
Da: Buchpark, Trebbin, GermaniaBuchpark
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Ottimo
EUR 53,95
EUR 105,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 405 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
Editore: Groningen, 1901, 1901
Da: Antiquariaat De Keerkring, Malden, Paesi BassiAntiquariaat De Keerkring
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 28,00
EUR 26,00 spedizioneSpedito da Paesi Bassi a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloGroningen, 1901 (thesis Utrecht). Halflinnen, gedecoreerde privé band. viii-231 p.
