Libros sobre el tema "Predicate calculus"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte los 37 mejores mejores libros para su investigación sobre el tema "Predicate calculus".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Explore libros sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.
Dijkstra, Edsger W. y Carel S. Scholten. Predicate Calculus and Program Semantics. New York, NY: Springer New York, 1990. http://dx.doi.org/10.1007/978-1-4612-3228-5.
Texto completoDijkstra, Edsger Wybe. Predicate calculus and program semantics. New York: Springer-Verlag, 1990.
Buscar texto completoDijkstra, Edsger Wybe. Predicate calculus and program semantics. New York: Springer-Verlag, 1990.
Buscar texto completoDijkstra, Edsger Wybe. Predicate Calculus and Program Semantics. New York, NY: Springer New York, 1990.
Buscar texto completoSimpson, Stephen G. Subsystems of second order arithmetic. Berlin: Springer, 1999.
Buscar texto completoSimpson, Stephen G. Subsystems of second-order arithmetic. 2a ed. Cambridge: Cambridge University Press, 2009.
Buscar texto completoSimpson, Stephen G. Subsystems of second-order arithmetic. 2a ed. Cambridge: Cambridge University Press, 2009.
Buscar texto completoSimpson, Stephen G. Subsystems of Second Order Arithmetic. 2a ed. Leiden: Cambridge University Press, 2009.
Buscar texto completoBüning, H. Kleine. Aussagenlogik: Deduktion und Algorithmen. Stuttgart: B.G. Teubner, 1994.
Buscar texto completoNaishtat, Francisco S. Lógica para computación. [Buenos Aires]: Editorial Universitaria de Buenos Aires, 1986.
Buscar texto completoLemmon, E. J. Beginning logic. Boca Raton, FL: Chapman & Hall/CRC, 1998.
Buscar texto completoPollock, John L. Technical methods in philosophy. Boulder: Westview Press, 1990.
Buscar texto completoFrance, Société mathématique de, ed. Quantification relativiste. Montrouge: Société Mathématique de France, 1991.
Buscar texto completoStuart, Glennan, ed. Elements of deductive inference: An introduction to symbolic logic. Belmont, CA: Wadsworth Publishing, 2000.
Buscar texto completoOrlova, Dar'ya, Sergey Kochedykov, Vyacheslav Chertov y Viktor Novosel'cev. LANGUAGE TOOLS FOR CREATING INFORMATION TECHNOLOGIES FOR INTELLIGENT DECISION-MAKING SUPPORT. ru: INFRA-M Academic Publishing LLC., 2024. http://dx.doi.org/10.12737/2129777.
Texto completoThe criminology of white-collar crime. New York, NY: Springer, 2009.
Buscar texto completo1942-, Moor James, Nelson Jack 1944- y Bergmann Merrie, eds. Solutions to selected exercises in The logic book. 3a ed. New York: McGraw-Hill, 1998.
Buscar texto completoDijkstra, Edsger Wybe. Predicate Calculus and Program Semantics. Springer, 2011.
Buscar texto completoPropositional and Predicate Calculus A Model of Argument. London: Springer-Verlag, 2005. http://dx.doi.org/10.1007/1-84628-229-2.
Texto completoPropositional and Predicate Calculus: A Model of Argument. Springer, 2005.
Buscar texto completoGoldrei, Derek. Propositional and Predicate Calculus: A Model of Argument. Springer, 2005.
Buscar texto completoCori, Rene y Daniel Lascar. Mathematical Logic: A course with exercises -- Part I -- Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems. Oxford University Press, USA, 2000.
Buscar texto completoCori, Rene y Daniel Lascar. Mathematical Logic: A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems. Oxford University Press, USA, 2000.
Buscar texto completoPelletier, Donald H., Rene Cori y D. Lascar. Mathematical Logic - A Course with Exercises Pt. 1: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems. Oxford University Press, 2001.
Buscar texto completoDaugherty, Padric. A decidable sequent calculus theorem prover using controlled contraction. 1988.
Buscar texto completoKleene, Stephen C. y Stephen C. Keene. Two Papers on the Predicate Calculus (Memoirs of the American Mathematical Society , Vol 1). American Mathematical Society, 1997.
Buscar texto completoGuenthner, Franz y Siegfried J. Schmidt. Formal Semantics and Pragmatics for Natural Languages. Springer London, Limited, 2012.
Buscar texto completoBessie, Joseph y Stuart Glennan. Elements of Deductive Inference: An Introduction to Symbolic Logic. Wadsworth Publishing, 1999.
Buscar texto completoElements of Deductive Inference: An Interduction to Symbolic Logic. Thomson Learning, 1999.
Buscar texto completoPollock, John. Technical Methods in Philosophy. Taylor & Francis Group, 2019.
Buscar texto completoPollock, John. Technical Methods In Philosophy. Routledge, 2021.
Buscar texto completoSimpson, Sally S. y David Weisburd. The Criminology of White-Collar Crime. Springer, 2010.
Buscar texto completoBowen, K. A. Model Theory for Modal Logic: Kripke Models for Modal Predicate Calculi. Springer London, Limited, 2013.
Buscar texto completoBowen, K. A. Model Theory for Modal Logic: Kripke Models for Modal Predicate Calculi. Springer, 2010.
Buscar texto completoSchroeder, Daniel V. An Introduction to Thermal Physics. Oxford University Press, 2021. http://dx.doi.org/10.1093/oso/9780192895547.001.0001.
Texto completoShapiro, Stewart y Geoffrey Hellman, eds. The History of Continua. Oxford University Press, 2020. http://dx.doi.org/10.1093/oso/9780198809647.001.0001.
Texto completoBelohlavek, Radim, Joseph W. Dauben y George J. Klir. Fuzzy Logic and Mathematics. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780190200015.001.0001.
Texto completo