IRMA - Documents

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

divertissement

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Gödel ; décidabilité

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

puzzle ; logique combinatoire

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

récréation mathématique ; puzzle

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

système formel ; fonction récursive

... Lire [+]

Simple sur les ouvrages

Avancée sur les ouvrages

Recherche multi-critères

Simple sur les revues

Avancée sur les revues

Bibliothèques de mathématique et de l'IREM

Documents Smullyan, Raymond M. | enregistrements trouvés : 6

Smullyan, Raymond M.

Quel est le titre de ce livre ? Smullyan, Raymond M. ; Trad. Marthon, Jérôme ; Ill. Berloquin, Pierre. -Paris : Dunod , 1981 . - 249 p. ; 22 cm
Nouveau

Gödel's incompletness theorems Smullyan, Raymond M.. -New York NY, Oxford : Oxford university Press , 1992 . - xiii, 139 p. ; 24 cm
Nouveau

To mock a mockingbird and other logic puzzles including an amazing adventure in combinatory logic Smullyan, Raymond M.. -Oxford : Oxford university Press , 1990 . - x-246
Nouveau

What is the name of this book ? : The riddle of dracula and other logical puzzles Smullyan, Raymond M.. -Englewood Cliffs NJ : Prentice Hall , 1978 . - viii, 241 p. ; 21 cm
Nouveau

First-order logic Smullyan, Raymond M.. -Berlin : Springer , 1968 . - xii, 158
https://link.springer.com/book/10.1007/978-3-642-86718-7
Nouveau

Theory of formal systems Smullyan, Raymond M.. -Princeton NJ : Princeton university Press , 1961 . - viii, 142 p. ; 23 cm
Nouveau

Simple sur les ouvrages

Avancée sur les ouvrages

Recherche multi-critères

Simple sur les revues

Avancée sur les revues

Bibliothèques de mathématique et de l'IREM

Documents Smullyan, Raymond M. | enregistrements trouvés : 6

Smullyan, Raymond M.

Quel est le titre de ce livre ? Smullyan, Raymond M. ; Trad. Marthon, Jérôme ; Ill. Berloquin, Pierre. -Paris : Dunod , 1981 . - 249 p. ; 22 cm Nouveau

Gödel's incompletness theorems Smullyan, Raymond M.. -New York NY, Oxford : Oxford university Press , 1992 . - xiii, 139 p. ; 24 cm Nouveau

To mock a mockingbird and other logic puzzles including an amazing adventure in combinatory logic Smullyan, Raymond M.. -Oxford : Oxford university Press , 1990 . - x-246 Nouveau

What is the name of this book ? : The riddle of dracula and other logical puzzles Smullyan, Raymond M.. -Englewood Cliffs NJ : Prentice Hall , 1978 . - viii, 241 p. ; 21 cm Nouveau

First-order logic Smullyan, Raymond M.. -Berlin : Springer , 1968 . - xii, 158 https://link.springer.com/book/10.1007/978-3-642-86718-7 Nouveau

Theory of formal systems Smullyan, Raymond M.. -Princeton NJ : Princeton university Press , 1961 . - viii, 142 p. ; 23 cm Nouveau

Quel est le titre de ce livre ? Smullyan, Raymond M. ; Trad. Marthon, Jérôme ; Ill. Berloquin, Pierre. -Paris : Dunod , 1981 . - 249 p. ; 22 cm
Nouveau

Gödel's incompletness theorems Smullyan, Raymond M.. -New York NY, Oxford : Oxford university Press , 1992 . - xiii, 139 p. ; 24 cm
Nouveau

To mock a mockingbird and other logic puzzles including an amazing adventure in combinatory logic Smullyan, Raymond M.. -Oxford : Oxford university Press , 1990 . - x-246
Nouveau

What is the name of this book ? : The riddle of dracula and other logical puzzles Smullyan, Raymond M.. -Englewood Cliffs NJ : Prentice Hall , 1978 . - viii, 241 p. ; 21 cm
Nouveau

First-order logic Smullyan, Raymond M.. -Berlin : Springer , 1968 . - xii, 158
https://link.springer.com/book/10.1007/978-3-642-86718-7
Nouveau

Theory of formal systems Smullyan, Raymond M.. -Princeton NJ : Princeton university Press , 1961 . - viii, 142 p. ; 23 cm
Nouveau