Ancient formal logic :: SCD d'Orléans

Ancient formal logic

Ancient formal logic

Guardat en:

Dades bibliogràfiques
Autor principal:	Bocheński, Józef Maria, 1902-1995
Format:	Livre papier
Idioma:	Anglais
Publicat:	Amsterdam : North-Holland Publ. Co. cop. 1968.
Col·lecció:	Studies in logic and the foundations of mathematics
Nota:	(Reprint of the 1951 edition)
Autres localisations:	Voir dans le Sudoc

Ítems similars

Lógica formal
per: Soares, Edvaldo
Publicat: (2023)

An introduction to formal logic
per: Smith, Peter J, 1944-
Publicat: (2003)

La philosophie contemporaine en Europe
per: Bocheński, Józef Maria, 1902-1995
Publicat: (1967)

Leibniz entre logicisme, formalisme et intuitionnisme ?
per: Rabouin, David
Publicat: (2025)

Leibniz entre logicisme, formalisme et intuitionnisme ?
per: Rabouin, David
Publicat: (2025)

Lógica formal y argumentación como disciplinas complementarias
per: Palau, Gladys
Publicat: (2021)

Relational exploration. Combining description logics and formal concept analysis for knowledge specification
per: Rudolph, Sebastian
Publicat: (2021)

Towards a Practice-based Philosophy of Logic: Formal Languages as a Case Study
per: Novaes, Catarina Dutilh
Publicat: (2012)

What is wrong with lekta? Ancient critics of Stoic logic and language
per: Bronowski, Ada
Publicat: (2019)

Towards a Practice-based Philosophy of Logic: Formal Languages as a Case Study
per: Dutilh novaes, Catarina
Publicat: (2012)

Formalisme.
Publicat: (2017)

A Formal Background to Mathematics : Logic, Sets and Numbers
per: Edwards, Robert E., 1926-2000

Le « formalisme » polonais et l’héritage du formalisme russe
per: Mrugalski, Michał, et al.
Publicat: (2018)

Formal groups
per: Fröhlich, Albrecht, 1916-2001

Formal Methods
Publicat: (2024)

Formal Ontology
per: Hakkarainen, Jani, et al.
Publicat: (2024)

Formal Methods
Publicat: (2024)

Formal verification of trusted layers of software : application to the TPM Software Stack
per: Ziani, Yani, 1995-
Publicat: (2025)

Le formalisme russe
per: Aucouturier, Michel, 1933-2017
Publicat: (1994)

Formalisme et poétique
per: Depretto, Catherine
Publicat: (2018)

Balzac et les formalismes
per: Gendrel, Bernard
Publicat: (2024)

Formal Charges.
Publicat: (2020)

Le formalisme russe
per: Romand, David, et al.
Publicat: (2016)

Introduction to mathematical logic.
per: Church, Alonzo, 1903-1995
Publicat: (1956)

Formal models of communicating systems : languages, automata, and monadic second-order logic
per: Bollig, Benedikt
Publicat: (2006)

Logic as a tool : a guide to formal logical reasoning
per: Goranko, Valentin
Publicat: (2016)

Formal aspects of computing : applicable formal methods

Formal systems and recursive functions : proceedings of the eighth Logic Colloquium, Oxford, July 1963
Publicat: (1965)

From discourse to logic : introduction to modeltheoretic semantics of natural language, formal logic and discourse representation theory
per: Kamp, Hans, 1940-, et al.
Publicat: (1993)

Formal semantics : the essential readings
per: Portner, Paul H., 1966-
Publicat: (2002)

Un livre de Reviel Netz pour une approche non formaliste des formalismes
per: Latour, Bruno
Publicat: (2009)

Un livre de Reviel Netz pour une approche non formaliste des formalismes
per: Latour, Bruno
Publicat: (2021)

Computation, Logic, Philosophy : A Collection of Essays
per: Wang, Hao, 1921-1995

Commutative formal groups
per: Lazard, Michel, 1924-1987, mathématicien
Publicat: (1975)

Formal Aspects of Context

Formal Languages and Applications

Formal Semantics for VHDL

Commutative Formal Groups
per: Lazard, Michel, 1924-1987, mathématicien

In Defence of Formal Experimentation:
per: Favero, Paolo
Publicat: (2019)

Le formalisme en droit du travail.
per: Miaud, Isabelle
Publicat: (1995)

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales