Mathematical Logic
Zoekopdracht
206 titels gevonden met de huidige zoekopdracht
Uitgebreid zoeken
| Afbeelding | Schrijver | Titel | Uitgever | Bijzonderheid | Prijs | Boekwinkel |
|---|---|---|---|---|---|---|
|
Church, Alonzo | Introduction to Mathematical Logic (PMS-13) (meer info) | Princeton University Press | Titel: Introduction to Mathematical Logic (PMS-13). Editie: Reprint. Jaar van uitgave: 1996. Taal... | € 29.95 |
p015 |
|
Richard Andrews; Paul Schellenberger | The Tomb of God The Body of Jesus and the Solutions to a 2000-year-old Mystery | Little, Brown, 1996, (1e druk), 513 blz. | Hardcover with dustjacket, traces of use, in good condition. With pictures. Dissatisfied with the ex... | € 7.50 |
 |
|
CROSSLEY, J.N. and onthers | What is mathematical logic? (meer info) | Oxford University Press - paperb. | 1979 fourth impression 82pp good condition | € 10.50 |
Achterboek |
|
MONK, J. Donald | Mathematical Logic. (meer info) | Springer-Verlag | 1976, 24 x 16 cm. x,531 pp. Hardcover. | € 25.00 |
 |
|
SCHOENFIELD, Joseph R. | Mathematical Logic. (meer info) | Addison Wesley Publishing | 1967, 24 x 17 cm. vii,[1],344 pp. Clothbound. | € 20.00 |
|
|
BARWISE, John | Admissible Sets and Structures - An Approach to Definability Theory. (meer info) | Springer-Verlag | 1975, 24.5 x 17 cm. xiii,[1],394 pp. Hardcover. | € 20.00 |
|
|
LERMAN, Manuel | Degrees of Unsolvability - Local and Global Theory. (meer info) | 1983 | 1983, 24.5 x 17 cm. xiii,[1],307 pp. Hardcover. | € 25.00 |
|
|
ROGERS, Robert | Mathematical logic and formalized theories. A Survey of Basic Concepts and Results. (meer info) | North-Holland Publishing Company | 1971, 22.5 x 15 cm. xi,[1],235 pp. Softcover. | € 20.00 |
|
|
LEISENRING, A.C. | Mathematical Logic and Hilbert's E-Symbol. (meer info) | MacDonald Technical Scientific | 1969, 23.5 x 15.5 cm. ix,[1],142 pp. Hardcover with dustjacket. | € 40.00 |
|
|
FENSTAD, Jens E. | General Recursion Theory. An Axiomatic Approach. (meer info) | Springer-Verlag | 1980, 25 x 17 cm. 222 pp. Hardcover. | € 40.00 |
|
|
SOARE, Robert I. | Recursively Enumerable Sets and Degrees - A Study of Computable Functions and Computably Generated Sets. (meer info) | Springer-Verlag | 1987, 25 x 17 cm. xviii,437 pp. Hardcover. | € 40.00 |
|
|
Orevkov, V.P. (ed.) | The Calculi of Symbolic Logic I (Proceedings of the Steklov Institute of Mathematics Ser. ) (meer info) | Providence, American Mathematical Society (1971) | Proceedings of the Steklov Institute of Mathematics, Number 98 (1968) | € 20.00 |
AkkaScience |
|
Adjan. S.I. (ed.) | Mathematical logic, the theory of algorithms and the theory of sets. (meer info) | Providence, American Mathematical Society (1977) | Proceedings of the Steklov institute of mathematics, no.133 (1973) | € 80.00 |
AkkaScience |
|
|
Barwise, J. (editor) | Handbook of Mathematical Logic | North Holland Publishing Company, Amsterdam | 1978 | € 150.00 |
AkkaScience |
|
|
Arruda, Ayda I. and Newton C.A. da Costa and Rolando Chuaqui (editors) | Mathematical Logic: Proceedings of the First Brazilian Conference | Marcel Dekker, New York | 1978 | € 24.00 |
AkkaScience |
|
|
Leisenring, A.C. | Mathematical Logic and Hilbert's E-Symbol | Macdonald technical scientific, London | 1969, hardcover | € 20.00 |
AkkaScience |
|
|
Kneebone, G.T. | Mathematical Logic and the foundations of mathematics | D. van Nostrand Company Ltd, London | 1963, hardcover | € 25.00 |
AkkaScience |
|
McShane, Philip J. (ed.) Lonergan, Bernard (author). | Collected Works of Bernard Lonergan: Phenomenology and logic: The Boston college lectures on mathematical logic and existentialism. | Toronto University Press | Toronto, 2001. Volume 18 of the collected works. Paperback, xxiv + 419 pp. Lexicon of Latin and Gree... | € 40.00 |
 |
|
Reiter, Raymond | Knowledge in Action - Logical Foundations for Specifying & Implementing Dynamical Systems / Logical Foundations for Specifying and Implementing Dynamical Systems (meer info) | MIT Press | 2001, cloth hardcover with dust jacket, stain on dust jacket, good copy |
€ 37.10
€ 4,15
|
 |
|
Epstein, Richard L. | Classical Mathematical Logic / The Semantic Foundations of Logic (meer info) | Princeton University Press | 2006, hardcover, good copy |
€ 40.00
€ 4,15
|
|
|
O'Leary, Michael L. | The Structure of Proof: With Logic and Set Theory (meer info) | Prentice-Hall | 2002, hardcover, small damage on spine, good copy |
€ 49.50
€ 4,15
|
|
|
Braffort, P. and F. van Scheepen (editors) | Automation in language translation and theorem proving. Some applications of mathematical logic | Commission EC | 1968, cloth, 295 pp, dustwrappers |
€ 20.00
€ 2,95
|
 |
|
|
Andrews, Peter B. | AN INTRODUCTION TO MATHEMATICAL LOGIC AND TYPE THEORY: TO TRUTH THROUGH PROOF. | USA, Academic Press, 1986 | very good condition, 1st edition 304 pp. Pb with dustjacket . This introduction to mathematical log... | € 29.50 |
 |
|
|
Benthem, J. F. A. K. van A. ter Meulen (eds.) | Handbook of Logic and Language. (meer info) | Cambridge, MA : The MIT Press, 1997. Hardcover. 1300 pp. Heavy item. Condition : as new. English. text. Conditie: als nieuw | Conditie: als nieuw. LINGUISTICS |
€ 35.00
€ 5,50
|
Kloof Antiquariaat |
|
|
Mathias, A.R.D. H. Rogers (eds.) | Cambridge Summer School in Mathematical Logic. | Berlin: Springer,1973. Paperback. x,660 pp. (Lecture Notes in Mathematics, 337). Conditie: goed | Conditie: goed. |
€ 40.00
€ 5,50
|
Kloof Antiquariaat |
|
|
Novák, Vilém, Irina Perfilieva Jirí Mockor. | Mathematical principles of fuzzy logic. | Boston Dordrecht : Kluwer Academic Publishers, c1999. Hardcover. xiii,320 pp. (Kluwer international series in engineering and computer science, 517). Conditie: als nieuw | Conditie: als nieuw. |
€ 113.00
€ 5,50
|
Kloof Antiquariaat |
|
Arianrhod, Robyn. | Seduced by logic : Émilie du Châtelet, Mary Somerville, and the Newtonian revolution. (meer info) | New York : Oxford University Press, 2012. viii,338 pp. ; 25 cm. Condition : as new. Conditie: als nieuw | Conditie: als nieuw. |
€ 20.00
€ 5,50
|
Kloof Antiquariaat |
|
STYAZKIN, N.I. | History of mathematical logic from Leibniz to Peano.Translated from the Russian | Cambridge MIT | 1969. (VIII) 333 pp. Cloth + dustjacket. *dustjacket damaged, otherwise in good condition* | € 20.00 |
Antiquariaat Isis |
|
|
Saccheri, Hieronymus. | Logica demonstrativa. (meer info) | Mit einer Einleitung von Wilhelm Risse. Hildesheim New York : Georg Olms, 1980. Hardcover. 10*, 12, 287 pp. 17 cm. Facsimile of: Turin ed., 1697, reproduced from the copy of Stadtbibliothek Trier. Text in Latin; editorial matter in German. Condi... | Conditie: nieuw. PHILOSOPHY |
€ 20.00
€ 5,50
|
Kloof Antiquariaat |
|
|
Morgan, Augustus de. | On the Syllogism : and other logical writings. (meer info) | Edited, with an introduction, by Peter Heath. London : Routledge Kegan Paul, 1966. First edition. Orig. cloth binding. Dustjacket. xxxi,355 pp. Fine copy. Conditie: good | Conditie: good. PHILOSOPHY |
€ 40.00
€ 5,50
|
Kloof Antiquariaat |
|
BOOLE, G. | An investigation of the laws of thought on wich are founded the mathematical theories of logic and probabilities. | New York Dover | 1958. (Reprint 1854). (XIV) 424 pp. Paperback. Portrait. (DBAM) *cover partly discoloured, name on e... | € 12.50 |
Antiquariaat Isis |
|
|
Wallen, Lincoln A. | Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics. (meer info) | Cambridge, MA.: The MIT Press, 1990. Hardcover. Dustjacket. xv,239 pp. Conditie: als nieuw | Conditie: als nieuw. PHILOSOPHY |
€ 40.00
€ 5,50
|
Kloof Antiquariaat |
|
|
Kneebone, G.T. | Mathematical logic and the foundations of mathematics. | London: van Nostrand, 1965. 2nd impression. Paperback. xiv,436 pp. Conditie: goed | Conditie: goed. PHILOSOPHY |
€ 12.50
€ 5,50
|
Kloof Antiquariaat |
|
AGAZZI, E. (ED.) | Modern logic - a survey. Historical, philosophical, and mathematical aspects of modern logic and its applications. | Dordrecht Reidel | 1981. (VIII) 475 pp. Cloth + dustjacket. (SL, 149) *librarysticker on dustjacket, spine and endpaper... | € 30.00 |
Antiquariaat Isis |
|
|
Moschovakis, Y.N. (ed.) | Logic from computer science : proceedings of a workshop held November 13-17, 1989. | New York etc. : Springer-Verlag, cop. 1992. Hardcover. xi,608 pp. (Mathematical Sciences Research Institute publications ; 27). Conditie: goed | Conditie: goed. |
€ 18.00
€ 5,50
|
Kloof Antiquariaat |
|
CARROLL, L. | Mathematical recreations of Lewis Carroll. Symbolic logic and The game of logic (both books bound as one). | New York Dover publications | 1858 (Reprint 1887, 1897). (XXXI) 199, 96 pp. Paperback. (DBRGSTM) *previous owner's namer on endpap... | € 15.00 |
Antiquariaat Isis |
|
BOOLE, G. | An investigation of the laws of thought on wich are founded the mathematical theories of logic and probabilities. | New York Dover | 1958. (Reprint 1854). (XIV) 424 pp. Paperback. Portrait. (DBAM) *cover partly discoloured, name on e... | € 12.50 |
Antiquariaat Isis |
|
Perelman, Chaïm, Józef Maria Bocheński, et al - Agazzi, Evandro (Ed.) | Modern logic - A Survey. Historical, Philosophical, and Mathematical Aspects of Modern Logic and its Applications. (meer info) | Dordrecht : D. Reidel, 1981 | Gebonden, linnen band met stofomslag. 1e druk, 475 pp. In uitstekende staat |
€ 76.00
Gratis
|
Apollonius |
|
|
Brafford, P. F. van Scheepen [eds.] | Automation in language translation and theorem proving. Some appications of mathematical logic; Brussels June 1968 | EURATOM [1968] | hard back dustj. xv-295 pp | € 25.00 |
Aquilabooks |
|
Berger, Ulrich (Herausgeber), Hannes (Mitwirkender) Diener and u. a.: | Logic, construction, computation. (meer info) | Frankfurt, M. [i.e.] Heusenstamm ; Paris ; Lancaster ; New Brunswick, NJ : Ontos-Verl. | 2012, 8° gebundene Ausgabe, 540 S. : Ill., graph. Darst. | € 136.00 |
AvA-buch |
|
Olszewski, Adam (Herausgeber): | Church's thesis after 70 years (meer info) | Frankfurt [Main i.e.] Heusenstamm ; Paris ; Ebikon ; Lancaster ; New Brunswick : Ontos-Verl. | 2006, 8° Hardcover, 551 S. ; 21 cm | € 52.50 |
AvA-buch |
|
Schindler, Ralf: | Ways of Proof Theory (meer info) | ontos | 2010, 8° broschur, 498 Seiten | € 110.30 |
AvA-buch |
|
Cori, René and Daniel Lascar: | Mathematical Logic: A Course with Exercises Part I + II: 2 Bände; (meer info) | Oxford, University Press | 2001, Gr.-8°, Hardcover, 338 + 331 Seiten : | € 199.00 |
AvA-buch |
|
|
Fraisse, Roland | Course of Mathematical Logic - Volume 1 and 2 | D. Reidel, 1974 | Synthese Library. Volume 1: Relation and Logical Formula. Volume 2: Model Theory. 186 191 p. -good.-... | € 60.00 |
Berger De Vries |
|
|
Hindley, J.R. e.a. | Introduction to Combinatory Logic (London Mathematical Society Lecture Note Series 7) | Cambridge University, 1972 | Paperback. 170 p. -(Some signs of use on the cover, name in ink on the title page, but overall in go... | € 40.00 |
Berger De Vries |
|
|
Kreisel, G.; Krivine, J. L. | Elements of Mathematical Logic (Studies in Logic and the Foundations of Mathematics) | North-Holland Publishing, 1967 | Bound in yellow cloth, 221 p. -good.-(Binding loosened, name in ink on the fly-leaf, some spotting o... | € 25.00 |
Berger De Vries |
|
|
Barwise, John | Admissible Sets and Structures (Perspectives in Mathematical Logic) | Springer, 1975 | Hardcover. 394 p. -good.-(Name in ink on the fly-leaf, but otherwise the book is almost as new.). | € 150.00 |
Berger De Vries |
|
|
Church, Alonzo | Introduction to Mathematical Logic. Volume I | Princeton University, 1967 | Fifth printing. Bound in cloth, gilt on spine. 378 p. -good.-(Corners slightly bumped, name in ink o... | € 25.00 |
Berger De Vries |
|
|
D.W. Barnes, J.M. Mack | An Algebraic Introduction to Mathematical Logic (Graduate Texts in Mathematics 22) | Hardcover ed. 121 pp. In a very good condition, name at first free endpaper.. ISBN 9780387901091. | € 37.00 |
Berger De Vries |
|
|
|
LEVY, AZRIEL | BASIC SET THEORY | Springer-Verlag. | 1979, Perspectives in Mathematical Logic. With 20 figures. Bound in cloth. 391 p. -good.-(Spine sunn... | € 40.00 |
Berger De Vries |
Niet gevonden wat u zocht?
Niets gevonden? Plaats een gratis advertentie bij www.boekenzoekdienst.nl!
Of... kijk eens bij de grootste boeken-database ter wereld:... KLIK hieronder op: "Zoek!"