Search
Feedback
About UniCat 
Help
News
| Listing 1 - 10 of 19 | << page >> |
Sort by
|
Book
Year: 1964 Publisher: London : Routledge and Kegan Paul,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Calcul des prédicats. --- Prédicat (logique) --- Logique mathématique.
Book
ISBN: 0171490029 Year: 1965 Publisher: London : Nelson,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Calcul des propositions --- Calcul des prédicats --- Logique mathématique --- Logique mathématique. --- Calcul des propositions. --- Calcul des prédicats.
ISBN: 9781402032653 Year: 2004 Publisher: New-York : Springer-Verlag,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
Year: 1966 Publisher: Carbondale : Southern Illinois University Press,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Frege, Gottlob (1848-1925) --- Logicisme --- Calcul propositionnel --- Calcul des prédicats
Book
ISBN: 3540058192 0387058192 9780387058191 9783540058199 3642871321 Year: 1973 Publisher: Berlin: Springer,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Mathematical logic --- Logique mathématique --- Calcul des prédicats --- Calcul des propositions --- Logic, Symbolic and mathematical. --- Logic, symbolic and mathematical --- Logic, Symbolic and mathematical --- Logique symbolique et mathématique --- Logique mathématique. --- 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.
Book
ISBN: 0631146741 Year: 1986 Publisher: Oxford Blackwell
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Theory of knowledge --- Knowledge, Theory of --- Thought and thinking --- Mind --- Thinking --- Thoughts --- Educational psychology --- Philosophy --- Psychology --- Intellect --- Logic --- Perception --- Psycholinguistics --- Self --- Epistemology --- Logique --- Calcul des prédicats --- Philosophie
Book
ISBN: 2091905194 9782091905198 Year: 1987 Publisher: Paris: Fernand Nathan,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Calcul des prédicats --- Formel --- Problèmes et exercices. --- Manuel --- Amosbibl --- Amosbibl. --- Mathematical logic --- Logique symbolique et mathématique --- Logique --- Philosophie --- Symbolique --- Logique symbolique et mathématique - Problèmes et exercices
Book
ISBN: 0521292913 0521218381 Year: 1978 Publisher: Cambridge : Cambridge university press,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Mathematical logic --- Décidabilité (logique mathématique) --- Calcul des prédicats --- Logic, Symbolic and mathematical --- #WWIS:d.d. Prof. L. Bouckaert/ALTO --- 510 --- Algebra of logic --- Logic, Universal --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- 510 Fundamental and general considerations of mathematics. Foundations, logic etc. --- Fundamental and general considerations of mathematics. Foundations, logic etc. --- Fundamental and general considerations of mathematics. Foundations, logic etc --- Logic, Symbolic and mathematical. --- Logique mathématique --- Logique symbolique et mathématique --- Logique mathématique. --- Calcul des prédicats. --- Predicate calculus. --- Decidability (Mathematical logic) --- Logique mathématique. --- Calcul des prédicats. --- Décidabilité (logique mathématique)
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
| Listing 1 - 10 of 19 | << page >> |
Sort by
|