Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-45 of 45 results
Lógica de primer orden.
- Text
- Barcelona, Ediciones Ariel [1970]
- 1970
- 1 Item
Item details Format Call Number Item Location Text JFE 72-1083 Schwarzman Building - General Research Room 315 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
Metalogic: an introduction to the metatheory of standard first order logic.
- Text
- Berkeley, University of California Press, 1971.
- 1971
- 1 Item
Item details Format Call Number Item Location Text JFD 73-10155 Schwarzman Building - General Research Room 315 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
Logic, language-games and information: Kantian themes in the philosophy of logic, by Jaakko Hintikka.
- Text
- Oxford, Clarendon Press, 1973.
- 1973
- 1 Item
Item details Format Call Number Item Location Text JFD 74-4008 Schwarzman Building - General Research Room 315 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
Decidability and generalized quantifiers / von Andreas Baudisch ... [et al.].
- Text
- Berlin : Akademie-Verlag, 1980.
- 1980
- 1 Item
Item details Format Call Number Item Location Text JSK 81-109 v. 3-4 Offsite Not available - Please for assistance.Combinatorial number-theory : a treatise on growth, based on the Goodstein-Skolem hierarchy, including a critique on non-constructive or first-order logic / M.A. McBeth.
- Text
- Lewistown, N.Y. : E. Mellen Press, c1994.
- 1994
- 1 Item
Item details Format Call Number Item Location Text JSD 95-89 Offsite Not available - Please for assistance.First order mathematical logic.
- Text
- Waltham, Mass., Blaisdell Pub. Co. [1967]
- 1967
- 1 Item
Item details Format Call Number Item Location Text E-13 453 Schwarzman Building - Main Reading Room 315 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
Extensions of first order logic / María Manzano.
- Text
- Cambridge ; New York : Cambridge University Press, 1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text JSF 99-522 Offsite Not available - Please for assistance.A philosophical companion to first-order logic / edited, with an overview, by R.I.G. Hughes.
- Text
- Indianapolis : Hackett Pub. Co., c1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Text JFD 01-16949 Schwarzman Building - Main Reading Room 315 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
First-order logic revisited / editors, Vincent Hendricks ... [et al.].
- Text
- Berlin : Logos, 2004.
- 2004
- 1 Item
Item details Format Call Number Item Location Text JFF 04-3935 Schwarzman Building - Main Reading Room 315 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
Decidability and generalized quantifiers / von Andreas Baudisch ... [et al.].
- Text
- Berlin : Akademie-Verlag, 1980.
- 1980
The principles of mathematics revisited / Jaakko Hintikka.
- Text
- Cambridge [England] ; New York : Cambridge University Press, 1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text JSD 96-362 Offsite Not available - Please for assistance.Il teorema di interpolazione in logica classica, intuizionista e nelle teorie del primo ordine / Paolo Maffezioli.
- Text
- Bologna : CLUEB, [2020]
- 2020
- 1 Item
Item details Format Call Number Item Location Text ReCAP 20-76775 Offsite Not available - Please for assistance.Classical first-order logic / Stewart Shapiro, Teresa Kouri Kissel.
- Text
- Cambridge : Cambridge University Press, 2022.
- 2022-2022
- 1 Item
Item details Format Call Number Item Location Text JFE 22-4470 Schwarzman Building - Main Reading Room 315 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
First-order logic / [by] Raymond M. Smullyan.
- Text
- Berlin ; New York [etc.] : Springer-Verlag, 1968.
- 1968
- 1 Item
Item details Format Call Number Item Location Text QA9 .S57 Off-site Not available - Please for assistance.First-order logic : an introduction / Leigh S. Cauman.
- Text
- Berlin ; New York : Walter de Gruyter, 1998.
- 1998
- 1 Item
Item details Format Call Number Item Location Text BC128 .C38 1998 Off-site Not available - Please for assistance.The logic of description and existence / by Sören Stenlund.
- Text
- Uppsala : Filosofiska föreningen och Filosofiska institutionen vid Uppsala universitet, 1973.
- 1973
- 1 Item
Item details Format Call Number Item Location Text B105.D4 S73 Off-site Not available - Please for assistance.Categorial grammar and the logical form of quantification / Harold D. Levin.
- Text
- 1982
- 1 Item
Item details Format Call Number Item Location Text P161 .L48 1982 Off-site Not available - Please for assistance.First order mathematical logic / by Angelo Margaris.
- Text
- New York : Dover Publications, 1990.
- 1990-1967
- 1 Item
Item details Format Call Number Item Location Text QA9 .M32 1990 Off-site Not available - Please for assistance.Escritos completos (1927-1991) / Andrés R. Raggio ; Alberto Moreno, Mercedes Doffi editores.
- Text
- Buenos Aires : Eudeba, [2002], ©2002.
- 2002-2002
- 1 Item
Item details Format Call Number Item Location Text B1034 .R34 2002g Off-site Not available - Please for assistance.Extensions of first order logic / María Manzano.
- Text
- Cambridge ; New York : Cambridge University Press, 1996.
- 1996
- 2 Items
Item details Format Call Number Item Location Text Off-site Not available - Please for assistance.Item details Format Call Number Item Location Text QA9 .M315 1996 Off-site Not available - Please for assistance.Technical methods in philosophy / John L. Pollock.
- Text
- Boulder : Westview Press, 1990.
- 1990
- 1 Item
Item details Format Call Number Item Location Text BC135 .P683 1990 Off-site Not available - Please for assistance.The language of first-order logic / Jon Barwise and John Etchemendy.
- Text
- Stanford, CA : Center for the Study of Language and Information, c1990.
- 1990
- 1 Item
Item details Format Call Number Item Location Text XVT 24 text +1 computer disk. Off-site Not available - Please for assistance.The completeness of some modal logics with circumstantials, subjunctive conditionals, transworld identity and dispositional predicates; a study in the prolegomena to the logic of science.
- Text
- [Uppsala, Uppsala universitet] 1971.
- 1971
- 1 Item
Item details Format Call Number Item Location Text BC199.M6 A33x Off-site Not available - Please for assistance.The language of first-order logic : including the IBM-compatible Windows version of Tarski's world 4.0 / Jon Barwise & John Etchemendy.
- Text
- Stanford, CA : Center for the Study of Language and Information, 1992.
- 1992
- 1 Item
Item details Format Call Number Item Location Text XVT 25 text +1 computer disk. Off-site Not available - Please for assistance.First-order logic revisited / editors, Vincent Hendricks ... [et al.].
- Text
- Berlin : Logos, 2004.
- 2004
- 1 Item
Item details Format Call Number Item Location Text BC128 .F57 2004 Off-site Not available - Please for assistance.Formal logic : its scope and limits / Richard Jeffrey.
- Text
- New York : McGraw-Hill, 1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text BC128 .J43 1990 Off-site Not available - Please for assistance.Extensions of first order logic / María Manzano.
- Text
- Cambridge, [England] ; New York, NY : Cambridge University Press, 1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text QA9 .M315 1996 Off-site Not available - Please for assistance.First order mathematical logic.
- Text
- Waltham, Mass., Blaisdell Pub. Co. [1967]
- 1967
- 1 Item
Item details Format Call Number Item Location Text 8126.614 Off-site Not available - Please for assistance.First-order logic revisited / editors, Vincent Hendricks ... [et al.].
- Text
- Berlin : Logos, 2004.
- 2004
- 1 Item
Item details Format Call Number Item Location Text BC128 .F57 2004 Off-site Not available - Please for assistance.Formal logic : its scope and limits / Richard Jeffrey.
- Text
- Indianapolis, IN : Hackett Pub., [2004]
- 2004
- 1 Item
Item details Format Call Number Item Location Text BC128 .J43 2004 Off-site Not available - Please for assistance.The logic of description and existence / by Sören Stenlund.
- Text
- Uppsala : Filosofiska föreningen och Filosofiska institutionen vid Uppsala universitet, 1973.
- 1973
- 1 Item
Item details Format Call Number Item Location Text B1 .F5563q nr.18 nr. 18 Off-site Not available - Please for assistance.Formal logic : its scope and limits / Richard Jeffrey.
- Text
- Indianapolis : Hackett Pub.Co., c2006.
- 2006
- 1 Item
Item details Format Call Number Item Location Text BC128 .J43 2006 Off-site Not available - Please for assistance.Tarski's world / Dave Barker-Plummer, Jon Barwise & John Etchemendy ; in collaboration with Albert Liu.
- Text
- Stanford, Calif. : CSLI Publications, c2008.
- 2008
- 2 Items
Item details Format Call Number Item Location Text Off-site Not available - Please for assistance.Item details Format Call Number Item Location Text BC128 .B35 2008 Off-site Not available - Please for assistance.The language of first-order logic : including the Macintosh program Tarski's world / Jon Barwise and John Etchemendy.
- Text
- 1991
- 1 Item
Item details Format Call Number Item Location Text BC128 .B37 1991 Off-site Not available - Please for assistance.Decidability and generalized quantifiers / von Andreas Baudisch ... [et al.].
- Text
- 1980
- 1 Item
Item details Format Call Number Item Location Text QA9.65 .xD33 Off-site Not available - Please for assistance.The language of first-order logic : including the IBM compatible Windows version of Tarski's World 4.0 / Jon Barwise and John Etchemendy.
- Text
- Stanford, CA : Center for the Study of Language and Information, c1992.
- 1992
- 1 Item
Item details Format Call Number Item Location Text BC128 .B37 1992 Off-site Not available - Please for assistance.Qalamraw va marzʹhā-yi manṭiq-i ṣuvarī / taʾlīf-i Richārd Jifrī ; tarjumah-ʾi Parvīz Pīr.
- Text
- [Tehran] : Shirkat-i Intishārāt-i ʻIlmī va Farhangī, 1988.
- 1988
- 1 Item
Item details Format Call Number Item Location Text BC128 .J43165 1988 Off-site Not available - Please for assistance.Tarski's world : version 4.0 for MS Windows / Jon Barwise & John Etchemendy.
- Text
- 1993
- 1 Item
Item details Format Call Number Item Location Text BC128 .B377 1993 Off-site Not available - Please for assistance.Tarski's world : version 4.0 for the Macintosh / Jon Barwise & John Etchemendy.
- Text
- Stanford, Calif. : Center for the Study of Language and Information, c1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Text BC128 .B378 1993 Off-site Not available - Please for assistance.Formal logic : its scope and limits / Richard Jeffrey.
- Text
- New York : McGraw-Hill, 1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text BC128 .J43 1990 Off-site Not available - Please for assistance.Il teorema di interpolazione in logica classica, intuizionista e nelle teorie del primo ordine / Paolo Maffezioli.
- Text
- Bologna : CLUEB, [2020]
- 2020
- 1 Item
Item details Format Call Number Item Location Text QA281 .M25 2020 Off-site Not available - Please for assistance.First-order logic revisited / editors, Vincent Hendricks ... [et al.].
- Text
- Berlin : Logos, 2004.
- 2004
- 1 Item
Item details Format Call Number Item Location Text BC128 .F57 2004 Off-site Not available - Please for assistance.The logic of description and existence / by Sören Stenlund.
- Text
- Uppsala : Filosofiska föreningen och Filosofiska institutionen vid Uppsala universitet, 1973.
- 1973
- 1 Item
Item details Format Call Number Item Location Text B1 .F5563q nr.18 Oversize nr. 18 Off-site Not available - Please for assistance.Tarski's world / Dave Barker-Plummer, Jon Barwise & John Etchemendy ; in collaboration with Albert Liu.
- Text
- Stanford, Calif. : CSLI Publications, c2008.
- 2008
- 1 Item
Item details Format Call Number Item Location Text BC128 .B35 2008 Off-site Not available - Please for assistance.Tarski's world : version 4.0 for the Macintosh / Jon Barwise and John Etchemendy.
- Text
- Stanford, CA : Center for the Study of Language and Information, 1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Text BC128 .B378 1993 Off-site Not available - Please for assistance.
No results found from Digital Research Books Beta
Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.
