Search
Feedback
About
Help
News
| Listing 1 - 10 of 10 |
Sort by
|
Book
ISBN: 0171490029 Year: 1969 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.
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. --- Calcul des prédicats.
Book
ISBN: 3540058192 0387058192 9780387058191 9783540058199 3642871321 Year: 1973 Publisher: Berlin,New York : Springer-Verlag,
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: 1957 Publisher: Paris : Armand Colin,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Logique mathématique --- Logique multivalente --- Calcul des propositions --- Logique générale --- Logique des propositions --- Logique des prédicats --- Logique modale
ISBN: 288074153X 9782880741532 Year: 1988 Publisher: Lausanne Presses polytechniques romandes
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Logic, Symbolic and mathematical --- Logique symbolique et mathématique --- 510.6 --- #KVIV:BB --- Mathematical logic --- 510.6 Mathematical logic --- Logique mathématique --- Logique du premier ordre --- Calcul des propositions --- Logique symbolique et mathématique --- Logique mathématique. --- Logique du premier ordre. --- Calcul des propositions.
ISBN: 0122384504 Year: 1972 Publisher: New York : Academic Press,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
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
Multi
ISSN: 12949493 ISBN: 2728802521 9782728802524 Year: 1999 Volume: 10 Publisher: Paris: École normale supérieure,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Philosophy, Ancient --- Philosophy, Medieval --- Grammar, Comparative and general --- Philosophie ancienne --- Philosophie médiévale --- Propositions (Linguistique) --- Phrase (Linguistique) --- Clauses --- Sentences --- Language and languages --- Philosophy, Ancient. --- Philosophy, Medieval. --- Grec (Langue) --- Grammaire comparee et generale --- Proposition (Logique) --- Philosophy --- History. --- Phrase --- Propositions --- Stoïcisme --- Aristotélisme --- Calcul des propositions --- Platon, --- Aristote, --- Averroès, --- Abélard, Pierre, --- Critique et interprétation --- Origin --- Philosophie médiévale --- Medieval philosophy --- Scholasticism --- Ancient philosophy --- Greek philosophy --- Philosophy, Greek --- Philosophy, Roman --- Roman philosophy --- Mythology in literature --- Homère --- Horace --- Oedipe --- Aristotle --- Language --- Congresses --- Plato --- History --- Philosophy [Ancient ] --- Philosophy [Medieval ] --- Aristote --- Critique et interprétation. --- Stoïcisme. --- Aristotélisme. --- Calcul des propositions. --- Abélard, Pierre --- Classical literature --- Platon --- Averroès --- Critique et interprétation. --- Classical literature. --- Language and languages - Philosophy - History. --- Grec (Langue) - Phrase - Congres. --- Grec (Langue) - Propositions - Congres. --- Grammaire comparee et generale - Phrase - Congres. --- Propositions (Linguistique) - Congres. --- Proposition (Logique) - Congres.
ISBN: 0060422254 9780060422257 Year: 1986 Volume: 5 Publisher: New York (N.Y.): Harper and Row
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Automatic theorem proving --- Logic, symbolic and mathematical --- Logic, Symbolic and mathematical --- 681.3*F41 --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Automated theorem proving --- Theorem proving, Automated --- Theorem proving, Automatic --- Artificial intelligence --- Proof theory --- Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- Automatic theorem proving. --- Logic, Symbolic and mathematical. --- 681.3*F41 Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- Propositional calculus --- Logique mathématique --- Théorèmes --- Calcul des propositions --- Théorie de la démonstration --- Démonstration automatique --- Logique mathématique. --- Calcul des propositions. --- Théorie de la démonstration. --- Démonstration automatique. --- Logic --- Logic programming
Multi
ISSN: 12434264 ISBN: 2225840792 2225840806 2225841950 9782225840791 9782225841958 9782225840807 Year: 1995 Publisher: Paris Milan Barcelone Masson
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
AA / International- internationaal --- 50 --- Algemeenheden. Geschiedenis en filosofie van de wetenschappen. --- 3822 --- Gödel's theorem. --- Gödel, Kurt Friedrich, --- Logique mathématique --- Logic, Symbolic and mathematical --- Logique symbolique et mathématique --- --Logique mathématique --- --Logic, Symbolic and mathematical --- --Gödel's theorem. --- Algemeenheden. Geschiedenis en filosofie van de wetenschappen --- Calcul des prédicats --- Predicate calculus --- Boole, Algèbre de --- Algebra, Boolean --- Calcul des propositions --- Propositional calculus --- 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. --- Décidabilité (logique mathématique) --- Godel's theorem
| Listing 1 - 10 of 10 |
Sort by
|