A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Résultat de la recherche
4 résultat(s) recherche sur le mot-clé 'logique formelle' ![Surligner les mots recherchés Surligner les mots recherchés](./images/text_horizontalrule.png)
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![Imprimer...](./images/print.gif)
![](./images/orderby_az.gif)
Notions de logique formelle / Joseph Dopp (1967)
Titre : Notions de logique formelle Type de document : texte imprimé Auteurs : Joseph Dopp, Auteur Mention d'édition : 2ème éd. Editeur : Louvain [Belgique] : E. Nauwelaerts Année de publication : 1967 Collection : Cours publiés par l'institut supérieur de philosophie Importance : 304 p. Langues : Français Catégories : 03-xx Mots-clés : logique formelle philosophie histoire Note de contenu : index Notions de logique formelle [texte imprimé] / Joseph Dopp, Auteur . - 2ème éd. . - Louvain (Belgique) : E. Nauwelaerts, 1967 . - 304 p.. - (Cours publiés par l'institut supérieur de philosophie) .
Langues : Français
Catégories : 03-xx Mots-clés : logique formelle philosophie histoire Note de contenu : index Exemplaires
Code-barres Cote Support Localisation Section Disponibilité i1218 DOP/02/i1218 Livre Recherche Salle Disponible 5114 DOPP/02/3568 Livre Recherche Salle Disponible Deux esquisses de logique / J. Barkley ROSSER (1955)
Titre : Deux esquisses de logique Type de document : texte imprimé Auteurs : J. Barkley ROSSER, Auteur ; Roger MARTIN, Traducteur Editeur : Paris : Gauthier-Villars Année de publication : 1955 Autre Editeur : Louvain [Belgique] : E. Nauwelaerts Collection : Collection de logique mathématique. Série A, Monographies réunies par Mme Destouche, ISSN 0530-7554 num. VII Importance : 65 p. Langues : Français Langues originales : Anglais Mots-clés : logique combinatoire logique formelle logique mathématique Note de contenu : index, bibliogr. Deux esquisses de logique [texte imprimé] / J. Barkley ROSSER, Auteur ; Roger MARTIN, Traducteur . - Paris : Gauthier-Villars : Louvain (Belgique) : E. Nauwelaerts, 1955 . - 65 p.. - (Collection de logique mathématique. Série A, Monographies réunies par Mme Destouche, ISSN 0530-7554; VII) .
Langues : Français Langues originales : Anglais
Mots-clés : logique combinatoire logique formelle logique mathématique Note de contenu : index, bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5543 ROS/02/3610 Livre Recherche Salle Disponible Ancient formal logic / I. M. BOCHEŃSKI (1957)
Titre : Ancient formal logic Type de document : texte imprimé Auteurs : I. M. BOCHEŃSKI, Auteur Editeur : Amsterdam : North-Holland Publishing Company Année de publication : 1957 Collection : Studies in logic and the foundations of mathematics, ISSN 0049-237X Importance : VI-122 p. Langues : Anglais Catégories : 01-XX
03-xxMots-clés : logique formelle histoire des mathématiques Note de contenu : index, bibliogr. Ancient formal logic [texte imprimé] / I. M. BOCHEŃSKI, Auteur . - Amsterdam : North-Holland Publishing Company, 1957 . - VI-122 p.. - (Studies in logic and the foundations of mathematics, ISSN 0049-237X) .
Langues : Anglais
Catégories : 01-XX
03-xxMots-clés : logique formelle histoire des mathématiques Note de contenu : index, bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 4801 BOC/02/1574 Livre Recherche Salle Disponible Introduction to languages, machines and logic / Alan P. PARKES (Cop. 2002)
Titre : Introduction to languages, machines and logic : computable languages, abstract machines and formal logic Type de document : texte imprimé Auteurs : Alan P. PARKES, Auteur Editeur : Londres : Springer-Verlag Année de publication : Cop. 2002 Importance : XI-351 p. Présentation : ill. ISBN/ISSN/EAN : 978-1-85233-464-2 Langues : Anglais Mots-clés : langage formel machine logique formelle Note de contenu : index Introduction to languages, machines and logic : computable languages, abstract machines and formal logic [texte imprimé] / Alan P. PARKES, Auteur . - Londres : Springer-Verlag, Cop. 2002 . - XI-351 p. : ill.
ISBN : 978-1-85233-464-2
Langues : Anglais
Mots-clés : langage formel machine logique formelle Note de contenu : index Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 19005 PAR/68/7581 Livre Recherche Salle Disponible