New Europe College

Search library catalog

Author ISBN
Title ISSN
Orig. Title UDC
Publisher Language
Topics (ro) Type
Series
Search words:
Results per page order by of type
Found books: 1 - 10 (total 10 t: a: ).

1. *
Frege's Philosophy of Mathematics/ Edited by William Demopoulos
Harvard University Press, 1995, Cambridge, Massachusetts; london, England , (carte) xi, 464p., ISBN 0-674-31942-7
Topics (ro): logica simbolica - logica matematica; matematica - filosofie - logica; filosofia matematicii; Frege, Gottlob (1848-1925) - logica
Topics (en): symbolic logic - mathematical logic; mathematics - philosophy - logic; philosophy of mathematics; Frege, Gottlob (1848-1925) - logic
Position: Aa.2-FRE UDC: 16:51
Reviews: Google, Amazon (UK,DE,FR), Barnes&Noble, BibNat, BCU, WorldCat, LOC


2. *
The Journal of Symbolic Logic/ Edited by Alonzo Church, Burton S. Dreben, C. E. M. Yates, Anil Nerode, Dagfinn Follesdal, Gerald E. Sacks; Managing Editor: Alfons Borgers
The Association for Symbolic Logic, Inc., 1974, Providence, Rhode Island , (periodic) cca. 200p.
Topics (ro): logica - logica simbolica - matematica
Topics (en): logic - symbolic logic - mathematics
Position: Periodic UDC: 16
Reviews:


3. Candiescu, Calin
Mic tratat logico-semantic / Calin Candiescu
Paideia, 2000, Bucuresti , (carte) 146 p., ISBN 973-8064-28-7
Topics (ro): logica - filosofie - semantica; predicatie - logica; semnificare - semiotica; logica simbolica; semnificatia contextuala - semiotica; teoria termenilor - filosofia limbajului
Topics (en): logic - philosophy - semantics; predication - logic; sgnifying/ signification - semiotics; symbolic logic; contextual signification/ meaning - semiotics; theory of terms - philosophy of language
Position: Va.2-CAN UDC: 16:81'37
Series: Colectia studii si eseuri
Reviews: Google, Amazon (UK,DE,FR), Barnes&Noble, BibNat, BCU, WorldCat, LOC


4. Epstein, Richard L.; Carnielli, Walter A.
Computability: Computable Functions, Logic, and the Foundations of Mathematics/ Richard L. Epstein, Walter A. Carnielli; with Computability and Undecidability - A Timeline: The story of the development of computable functions and the undecidability of arithmetic to 1970/ Richard L. Epstein
Wadsworth, 1999, Belmont, CA , (carte) [xiv], 299, 38p., ISBN 0-534-54644-7
Topics (ro): logica - matematica - sec.XX; filosofia matematicii - sec.XX; matematica - filosofie - logica; logica simbolica - logica matematica
Topics (en): logic - mathematics - 20th century; philosophy of mathematics - 20th century; mathematics - philosophy - logic; symbolic logic - mathematical logic
Position: Aa.2-EPS UDC: 16:51
Reviews: Google, Amazon (UK,DE,FR), Barnes&Noble, BibNat, BCU, WorldCat, LOC


5. Frege, Gottlob; Wildon, Edwin Bidwell; Shaw, James Byrnie; Horn, C. E. Van; Ramsey, F. P.; Weiss, Paul; Church, Alonzo, Gödel, Kurt; Carnap, Rudolf; Wittgenstein, Ludwig; Hellman, Geoffrey; Hylton, Peter W.; Goldfarb, Warren D.; Linsky, Bernard; [...]
Bertrand Russell: Critical Assessments. Volume II: Logic and Mathematics / Edited by A. D. Irvine
Routledge, 1999, London - New York , (carte) xvi, 336 p., ISBN 0-415-13056-5, ISSN 0-415-13054-9 (set)
Topics (ro): filosofie - Russell, Bertrand Arthur William (1872-1970), despre; logica - Russell, Bertrand; matematica; logicism epistemic; logica simbolica
Topics (en): philosophy - Russell, Bertrand Arthur William, 1872-1970, on; logic - Russell, Bertrand; mathematics; epistemic logicism; symbolic logic
Position: A.2-RUSS-Irv (2) UDC: 164*Russell, Bertrand
Series: The Routledge Critical Assessments of Leading Philosophers
Reviews: Google, Amazon (UK,DE,FR), Barnes&Noble, BibNat, BCU, WorldCat, LOC


6. Luquet, Georges-Henri [ filosof francez, 1876-1965]
Logique formelle/ par G.-H. Luquet
Librairie Félix Alcan, 1925, Paris , (carte) 100p.
Topics (ro): logica formala; logica clasica; logica simbolica contemporana - logistica
Topics (en): formal logic; classical logic; contemporary symbolic logic - logistics
Position: MT/A-3110 UDC: 16
Series: Notions de philosophie
Reviews:


7. Russell, Bertrand Arthur William (1872-1970)
Écrits de logique philosophique/ Bertrand Russell; Avant-propos et traduction de l'anglais par Jean-Michel Roy
Presses Universitaires de France, 1989, Paris , (carte) lx, 458, [2]p., ISBN 2-13-042066-4, ISSN 0768-0708
Topics (ro): matematica - filosofie; logica; logica simbolica - logica matematica; filosofie - Russell, Bertrand - sec.XX; logica - Russel, Bertrand - sec. XX; principiile matematicii; atomism logic
Topics (en): mathematics - philosophy; logic; symbolic logic - mathematical logic; philosophy - Russel, Bertrand - 20th c.; logic - Russel, Bertrand - 20th c.; principles of mathematics; logical atomism
Position: MT/A-2693 UDC: 14*Russell, bertrand: 16
Series: Épimétée: Essais philosophiques
Reviews: Google, Amazon (UK,DE,FR), Barnes&Noble, BibNat, BCU, WorldCat, LOC


8. Russell, Bertrand Arthur William, 1872-1970
Foundations of Logic, 1903-05/ Bertrand Russell; edited by Alasdair Urquhart with the assistance of Albert C. Lewis
Routledge, 1994, London and New York , (carte) LIII, 743p., ISBN 0-415-09406-2
Topics (ro): matematica - filosofie; logica; logica simbolica - logica matematica
Topics (en): mathematics - philosophy; logic; symbolic logic - mathematical logic
Position: A.2-RUSS (4) UDC: 164.3
Series: The Collected Papers of Bertrand Russell; vol.4
Reviews: Google, Amazon (UK,DE,FR), Barnes&Noble, BibNat, BCU, WorldCat, LOC


9. Shapiro, Stewart [Ed.]; Shabel, Lisa; Skorupski, John; Floyd, Juliet; Clark, Peter; Wright, Crispin; Rayo, Agustin; Detlefsen, Michael; Posy, Carl; [...]
The Oxford Handbook of Philosophy of Mathematics and Logic/ Edited by Stewart Shapiro
Oxford University Press, 2005, Oxford; New York , (carte) xv, 833p., ISBN 0-19-514877-0
Topics (ro): filosofia matematicii - filosofia logicii; logica matematica - logica simbolica - filosofie; formalism; intuitionism; naturalism; nominalism; structuralism
Topics (en): philosophy of mathematics - philosophy of logic; mathematical logic - symbolic logic - philosophy; formalism; intuitionism; naturalism; nominalism; structuralism
Position: Aa.0-SHA UDC: 16
Series: Oxford Handbooks in Philosophy
Reviews: Google, Amazon (UK,DE,FR), Barnes&Noble, BibNat, BCU, WorldCat, LOC


10. Virieux-Reymond, Antoinette
La logique formelle/ par Antoinette Virieux-Reymond
Presses Universitaires de France, 1962, Paris , (carte) 124p.
Topics (ro): logica formala; logica clasica; logica simbolica; logica contemporana - tipuri de logica
Topics (en): formal logic; classical logic; symbolic logic; contemporary logic - logic types
Position: MT/A-3109 UDC: 16
Series: Initiation philosophique
Reviews: