Troelstra anne (44 resultados)
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];
- Tapa dura
Librería: A Squared Books (Don Dewhirst), South Lyon, MI, Estados Unidos de AmericaA Squared Books (Don Dewhirst)
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 24,01
Envío por EUR 5,70Se envía dentro de Estados Unidos de AmericaCantidad disponible: 2 disponibles
Hardcover. Condición: 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.
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 31,99
Envío por EUR 13,88Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
- Tapa blanda
Librería: Chiron Media, Wallingford, Reino UnidoChiron Media
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 29,11
Envío por EUR 17,95Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
PF. Condición: New.
Idioma: Inglés
Editorial: Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE 1969
- Tapa blanda
Librería: Rarewaves.com USA, London, LONDO, Reino UnidoRarewaves.com USA
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 47,97
Gastos de envío gratisSe envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Paperback. Condición: New. 1969 ed.
- Tapa blanda
Librería: Mooney's bookstore, Den Helder, HolandaMooney's bookstore
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Bueno
EUR 18,02
Envío por EUR 14,95Se envía de Holanda a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Very good.
Editorial: Amsterdam: Uitgeverij Atlas 2003
- Tapa blanda
Librería: Aquila Antiquariaat, Lochem, GLD, HolandaAquila Antiquariaat
Contactar con el vendedorVendedor de 3 estrellasCondición: Usado
EUR 17,50
Envío por EUR 21,00Se envía de Holanda a Estados Unidos de AmericaCantidad disponible: 1 disponibles
8vo. 22.8cm. 605 blz., illustr. in tekst, bibliogr. Paperback, geïllustr. omslag. Nieuw exemplaar.
Editorial: Atlas, Amsterdam 2009
- Tapa blanda
Librería: Bij tij en ontij ..., Kloosterburen, NL, HolandaBij tij en ontij ...
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado
EUR 10,00
Envío por EUR 28,50Se envía de Holanda a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback, 23 cm, 654 pp. Ills.: z/w en kleurenillustraties. Cond.: goed / good. ISBN: 9789045015941.
Idioma: Holandés
Editorial: Amsterdam-Antwerpen, Uitgeverij Atlas. 2003 2003
- Tapa blanda
Librería: Antiquariaat Schot, Hendrik-Ido-Ambacht, HolandaAntiquariaat Schot
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado
EUR 13,80
Envío por EUR 25,00Se envía de Holanda a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Original publisher's paperback, pictorial frontcover, thick large 8vo: 606pp.,illustrations, maps, sources, credits illustrations, general bibliography, index. Very fine copy.
- Tapa dura
Librería: Majestic Books, Hounslow, Reino UnidoMajestic Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 57,39
Envío por EUR 7,53Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 3 disponibles
Condición: New. pp. 380 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.
Editorial: Groningen, J.B. Wolters 1901 1901
- Tapa blanda
Librería: Antiquariaat Schot, Hendrik-Ido-Ambacht, HolandaAntiquariaat Schot
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado
EUR 18,40
Envío por EUR 25,00Se envía de Holanda a Estados Unidos de AmericaCantidad disponible: 1 disponibles
228 p. Paperback, rug geplakt.
Editorial: Groningen, J.B. Wolters 1901 1901
- Tapa blanda
Librería: Antiquariaat Schot, Hendrik-Ido-Ambacht, HolandaAntiquariaat Schot
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado
EUR 18,40
Envío por EUR 25,00Se envía de Holanda a Estados Unidos de AmericaCantidad disponible: 1 disponibles
228 p. Paperback, rug verstevigd met linnen.
- Tapa dura
Librería: Books Puddle, New York, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 72,42
Envío por EUR 3,50Se envía dentro de Estados Unidos de AmericaCantidad disponible: 3 disponibles
Condición: New. pp. 380.
- Tapa dura
Librería: Biblios, frankfurt am main, HESSE, AlemaniaBiblios
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 66,47
Envío por EUR 9,95Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 3 disponibles
Condición: New. pp. 380.
Idioma: Inglés
Editorial: Amsterdam [u.a.] : North-Holland Publ. Comp. 1982
- Tapa dura
Librería: Wissenschaftliches Antiquariat Köln Dr. Sebastian Peters UG, Köln, AlemaniaWissenschaftliches Antiquariat Köln Dr. Sebastian Peters UG
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 75,00
Envío por EUR 10,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: gut. IX, 523 S., Abb., 23 cm, Bibliotheksexemplar, Einband leicht fleckig, gebräunt, untere Einbandkante mit leichter Druckstelle. Sprache: Englisch.
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 72,85
Envío por EUR 13,88Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 26,70
Envío por EUR 60,95Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: 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.- C…hoice 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.
- Tapa dura
- Primera edición
Librería: Ted Kottler, Bookseller, Redondo Beach, CA, Estados Unidos de AmericaTed Kottler, Bookseller
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Muy bueno
EUR 85,90
Envío por EUR 11,15Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. Condición: Near Fine. Estado de la sobrecubierta: Near Fine. 1st Edition. ix, 170 pp. Original cloth. Near Fine, in near fine- dust jacket (rear panel sunned, price-clipped). Oxford Logic Guides.
- Tapa blanda
Librería: Mooney's bookstore, Den Helder, HolandaMooney's bookstore
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Bueno
EUR 39,93
Envío por EUR 14,95Se envía de Holanda a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Very good.
- Tapa blanda
Librería: Mooney's bookstore, Den Helder, HolandaMooney's bookstore
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Bueno
EUR 39,93
Envío por EUR 14,95Se envía de Holanda a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Very good.
Más imágenes- Tapa blanda
Librería: preigu, Osnabrück, Alemaniapreigu
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 26,55
Envío por EUR 70,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Taschenbuch. Condición: Neu. Principles of Intuitionism | Lectures presented at the Summer Conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, NY | Anne S. Troelstra | Taschenbuch | Lecture Notes in Mathematics | Einband - flex.(Paperback) | Englisch | Springer | EAN 9783540046141 | Verantwortliche Person für…die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.
- Tapa blanda
Librería: Books Puddle, New York, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 97,93
Envío por EUR 3,50Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. pp. 432 2nd Edition.
- Tapa blanda
Librería: Rob Kok Old Books & Prints, Loosdrecht, NH, HolandaRob Kok Old Books & Prints
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado
EUR 17,00
Envío por EUR 26,00Se envía de Holanda a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Amst. & Antwerpen, Atlas, 2003. 605 blz. Geïll. Paperback. Fraai. #9045010828. [52135].
Idioma: Inglés
Editorial: Springer Verlag, Berlin, Heidelberg, New York et. al., 1987 1987
- Tapa dura
Librería: Antiquariat Stefan Wulf, Berlin, AlemaniaAntiquariat Stefan Wulf
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado
EUR 80,00
Envío por EUR 25,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
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.
Idioma: Inglés
Editorial: Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE 1969
- Tapa blanda
Librería: Rarewaves.com UK, London, Reino UnidoRarewaves.com UK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 31,98
Envío por EUR 75,32Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Paperback. Condición: New. 1969 ed.
- Tapa blanda
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 96,51
Envío por EUR 14,48Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Paperback. Condición: Brand New. 2nd sub edition. 417 pages. 8.75x6.00x0.75 inches. In Stock.
- Tapa blanda
Librería: moluna, Greven, Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 68,61
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: 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.
- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 69,54
Envío por EUR 63,78Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: 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.
- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 70,29
Envío por EUR 63,49Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence.
- Tapa blanda
Librería: Buchpark, Trebbin, AlemaniaBuchpark
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Excelente
EUR 42,09
Envío por EUR 105,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: 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.
- Tapa dura
Librería: Buchpark, Trebbin, AlemaniaBuchpark
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Excelente
EUR 53,70
Envío por EUR 105,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Sehr gut. Zustand: Sehr gut | Seiten: 405 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
