De swart h (34 resultados)

Condición: Fair. Signed Copy . Inscribed by author on half title page. Front hinge cracked. (Metamathematics).

Hardcover. Condición: Gut. 577 S.; with figures. Ex.-Libr., Good condition. Additional cover folation. Sprache: Englisch Gewicht in Gramm: 970.

Hardcover. Condición: Good. 2 uniforme deeltje: originele bedrukte hardcovers, geïllustreerd met veel foto's in z/w, 64+64 pagina's, klein 8vo. 1) De NZH 1: Noord-Zuid-Hollandse Vervoermaatschappij: Het tramtijdperk; 2) De NZH 2: Noord-Zuid-Hollandse Vervoermaatschappij: Het busbedrijf; Alkenreeks Beeld-Encyclopedie nummer 167 en 168.; Lichte slijtage randen en hoeken kaften.…

Condición: New.

Soft cover. Condición: Very Good. 342p, many figures in the text, 6.8"x 9.8", paperback, a very good copy [0080230474].

Condición: As New. Unread book in perfect condition.

Condición: New.

(S. A. The Decid. Fruit Grower Vol. 18, Part 5)1968. S. 136-141. gr8. m. Abb. br. -2) -Sonderabdruck-.

paperback. Condición: Good. No Dust Jacket. First Edition. numerous figures, light crease on spine, sun fading to edges of front cover, light soiling to bottom of page block, foxing to top corner of page 169, light creasing to top corners of pages 169-200, otherwise text clean and tight. Used.

1st ed. - Thesis VU Amsterdam. - With references. - Softcover.

Hardcover. Condición: Very Good. Estado de la sobrecubierta: Good. Name of the previous owner written on the first and last blank pages. No edition stated. Heavy book extra postage may be required. The dust jacket is shelf rubbed and marks on the covers. The boards are in very good condition. There are minor marks on the end pages. Internally there are no other markings or inscriptions. Presented in cellophane. The binding is secure. GK. Our orders are shipped using tracked courier delivery services.…

Soft cover. Condición: Very Good. Estado de la sobrecubierta: Very Good. 1st Edition. Very good condition copy with some discolouration to top of pages.

Condición: New.

Condición: New.

Condición: As New. Unread book in perfect condition.

Condición: Gebraucht / Used. 1988. Paperback. Xv,121pp. Diss./Thesis.

Original hardcover, dust-jacket. vi,256 pp.; 24.5x16.5 cm. " Acta Historiae Neerlandicae, Studies on the History of the Netherlands X " - (previous owner's name) Very good. See picture 600g.

Condición: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Condición: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Zwolle, Waanders uitgevers & Zeist, Rijksdienst voor Monumentenzorg, 1999. 304 pp. B./w. ills. Orig. hardcover (blind stamped black boards, white lettering on spine), d./j. Large 8vo. (Cultuurhistorische studies). With a summary in English.

Condición: very good. Zwolle : W.E.J . Tjeenk Willink, [1990]. Paperback. 280 p. ; 21 cm. Omslagtitel: Artikel 8 EVRM. (Handelingen der Nederlandsche Juristen-Vereeniging ; jrg. 120, dl. 1990-1). Condition : very good copy. ISBN 9789027131584. Keywords : RECHT, Handelingen NJV.

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - In Logic Programming ( 25 and 26) the language of logic is used as a declarative programming language. Prolog uses resolution as its underlying proof mechanism. The logical structure of relational databases is explained ( 27) in set theoretical terms and it is shown how the language of set theory can be used as a Structured Query Language (SQL). Computability, Undecidability and Complexity are treated in sections 28, 29, and 30, respectively, in terms of Turing machines. The undecidability of the validity problem for predicate logic and the NP-completeness of the satisfiability problem for propositional logic are shown in a similiar way. Chomsky's notion of grammar and its relation to the notion of automation is presented in section 31. Both untyped and typed lambda calculus are treated in sections 32 and 33, respectively. The role epistemic logic can play in the description of distributed systems is explained ( 34). In section 35 and 36, temporal logic is used both for verification by hand and for automatic verification. A tableaux-based automated theorem prover for classical logic is elaborated in the Appendix. Each section ends with a number of exercises; the answers can be found at the end of this book.…

Utrecht, Oosthoek, 1975. (XVI) 364 pp. Paperback. *omslag iets vlekkig, goede staat*.

8°, braune OBrosch. 1. Auflage.. VIII, 194 Seiten, Ordentliches Exemplar mit handschriftlichem Besitzvermerk auf Buchdeckel und Innenseite Sprache: Niederländisch.

Condición: As New. Unread book in perfect condition.

Condición: As New. Unread book in perfect condition.

Taschenbuch. Condición: Neu. Logic: Mathematics, Language, Computer Science and Philosophy | Vol. II Logic and Computer Science | H. C. M. de Swart | Taschenbuch | Englisch | 1994 | Peter Lang | EAN 9783631454350 | Verantwortliche Person für die EU: Lang, Peter GmbH, Gontardstr. 11, 10178 Berlin, r[dot]boehm-korff[at]peterlang[dot]com | Anbieter: preigu. …

Frankfurt, Peter Lang, 1993. XIV,577 pp. Orig. softcover. - Corners worn. Spine creased. Prev. owner's name on half-title.

Soft cover. Octavo. Pp. viii, 284. With many folding tables, charts and plans, some of which are printed in additional colours. Plus large folding coloured cartographical legend loosely inserted. Original limp cloth, shelf ticket to spine, old military institutional stamps to title-page. In about fine condition. ~ Second edition. Includes the rare "Verklaring teekens van de stafkaart 1:50.000" which was not published with the book but appeared later as a loose appendix. H-2 IN. ~ ~ NOTE: TOTAL REDUCTION SALE: THE PRICE OF THIS BOOK IS CURRENTLY REDUCED! ~ ~ (ilustrador).…

Met opdracht van auteur 107 p.,tabellen, formules, bibliogr., index (Orig. paperback. , een enkel potlood vraagteken of streepje, ZEER GOED / ALS NIEUW) ZEER ZELDZAAM en GEZOCHT Over de grondslagen en wijsbegeerte van de wiskunde, methodologie, en ethiek. Henricus Cornelius Maria (Harrie) de Swart (5 september 1944) is een Nederlands wiskundige en oud-hoogleraar in de filosofie van de wiskunde aan de Universiteit van Tilburg, aan de Radboud Universiteit in Nijmegen en de Erasmus Universiteit in Rotterdam.…