Search
Feedback
About UniCat 
Help
News
| Listing 1 - 10 of 14 | << page >> |
Sort by
|
Book
Year: 1973 Publisher: São Paulo : Herder,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
Year: 1970 Volume: 1 Publisher: Berlin, New York : Springer-Verlag,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
ISBN: 9782130492878 Year: 1998 Publisher: Paris : PUF - Presses Universitaires de France,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Logic --- Predicate calculus --- Propositional calculus --- Logique. --- Calcul des prédicats. --- Calcul des propositions.
Book
Year: 1948 Publisher: Bussum : F. G. Kroonder,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Logique mathématique --- Logic, Symbolic and mathematical --- Calcul des prédicats. --- Predicate calculus --- Axiomes. --- Axioms --- Calcul des prédicats.
ISSN: 12551252 ISBN: 2130473695 9782130473695 Year: 1996 Publisher: Paris: PUF,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Modèle de la structure de toute science, la logique déductive permet l'étude du système des normes juridiques, dès lors que la spécificité de celui-ci est respectée. Dans la ligne de l'école de Varsovie, cette étude montre comment certaines thèses du calcul propositionnel ainsi que des thèses du calcul des prédicats constituent les fondements logiques de la logique des normes.
Mathematical logic --- Logic and law --- Norm (Philosophy) --- Propositional calculus --- Deontic logic --- Predicate calculus --- Logic, Modern --- Norme (Philosophie) --- Calcul propositionnel --- Logique déontique --- Calcul des prédicats --- Logique moderne --- Logic. --- Logique déontique --- Calcul des prédicats --- Logic --- Droit --- Logique juridique --- Modalité (logique) --- Déduction (logique) --- Règle de droit --- Méthodologie
Book
ISBN: 0416659209 Year: 1971 Publisher: London Methuen
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Mathematical logic --- Logic, Symbolic and mathematical --- Predicate calculus --- Logique symbolique et mathématique --- Calcul des prédicats --- Calculus, Predicate --- Quantification theory --- Algebra of logic --- Logic, Universal --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Logic, Symbolic and mathematical. --- Predicate calculus. --- Logique symbolique et mathématique --- Calcul des prédicats
ISBN: 9027709181 1402032625 140204108X 9789027709189 Year: 1979 Volume: v. 5 Publisher: Dordrecht: Reidel,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Lexicology. Semantics --- Mathematical linguistics --- Operational research. Game theory --- Semantics --- Game theory --- Predicate calculus --- Sémantique --- Théorie des jeux --- Calcul des prédicats --- Mathematical models --- Modèles mathématiques --- Game-theoretical semantics --- 801.56 --- Semantics (Philosophy) --- Syntaxis. Semantiek --- Game-theoretical semantics. --- 801.56 Syntaxis. Semantiek --- Sémantique --- Théorie des jeux --- Calcul des prédicats --- Modèles mathématiques --- Philosophie du langage --- Anglais (langue) --- Anaphore
ISBN: 0521368650 9780521368650 Year: 1990 Publisher: Cambridge: Cambridge university press,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Logic [Symbolic and mathematical ] --- Logica [Symbolische en wiskundige ] --- Logique symbolique et mathémathique --- 510.63 --- Logical theories. Logico-object theories. Classical logical systems. Propositional logic. Predicate logic --- 510.63 Logical theories. Logico-object theories. Classical logical systems. Propositional logic. Predicate logic --- Logique symbolique et mathématique. --- Logic, Symbolic and mathematical --- Predicate calculus --- Decidability (Mathematical logic) --- Logique mathématique. --- Calcul des prédicats. --- Décidabilité (logique mathématique) --- Logique mathématique --- Calcul des prédicats. --- Décidabilité (logique mathématique)
ISBN: 210005452X 2100054538 9782100825141 9782100054527 9782100807703 9782100054534 Year: 2005 Publisher: Paris: Dunod,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Ce deuxième tome est plus particulièrement consacré aux problèmes de récursivité et de formalisation de l'arithmétique, aux théorèmes de Gödel et à la théorie des ensembles ainsi qu'à la théorie des modèles.
Logique mathématique --- Logic, Symbolic and mathematical --- Fonctions récursives --- Recursive functions. --- Gödel, Théorème de --- Gödel's theorem. --- Théorie des ensembles --- Set theory. --- Théorie des modèles --- Model theory. --- Calcul des prédicats --- Predicate calculus --- Boole, Algèbre de --- Algebra, Boolean --- Calcul des propositions --- Propositional calculus --- Logique mathématique --- Fonctions récursives --- Gödel, Théorème de --- Théorie des ensembles --- Théorie des modèles --- Calcul des prédicats --- Boole, Algèbre de
ISBN: 9027709300 9400997752 9027707782 9789027707789 Year: 1979 Volume: v. 4 Publisher: Dordrecht: Reidel,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Predicate calculus --- Tense (Logic) --- Calcul des prédicats --- Temps (Logique) --- Logic, Tense --- Calculus, Predicate --- Quantification theory --- Predicate calculus. --- Tense (Logic). --- Calcul des prédicats --- Grammar, Comparative and general --- Languages --- -Pragmatics --- Semantics --- 801.56 --- Formal semantics --- Semasiology --- Semiology (Semantics) --- Pragmalinguistics --- Comparative grammar --- Grammar --- Grammar, Philosophical --- Grammar, Universal --- Language and languages --- Philosophical grammar --- Foreign languages --- 801.56 Syntaxis. Semantiek --- Syntaxis. Semantiek --- Philosophy --- Grammar, Comparative --- Logic --- Time --- Comparative linguistics --- Information theory --- Lexicology --- Meaning (Psychology) --- Logic, Symbolic and mathematical --- General semantics --- Semantics (Philosophy) --- Linguistics --- Philology --- Anthropology --- Communication --- Ethnology --- Tense --- Lexicology. Semantics --- Pragmatics --- Grammar, Comparative and general. --- Pragmatics. --- Langage et langues --- Sémantique --- Pragmatique --- Grammaire comparée et générale --- Philosophie
| Listing 1 - 10 of 14 | << page >> |
Sort by
|