Anthologie de la calculabilité : naissance et développements de la théorie de la calculabilité des années 1920 à 1970 / sous la direction de Jean Mosconi et Michel Bourdeau ; introduction historique par Serge Grigorieff.

Nombre d'appel

511.352 A6281

Publication

Paris : Cassini, [2022]

La description

xvi, 798 pages : illustrations ; 24 cm.


Call number: ‪511.352 ‪A6281
other author: ‪Bourdeau, Michel,
other author: ‪Mosconi, Jean,
other author: ‪Grigorieff, S. ‪(Serge),
Title: ‪Anthologie de la calculabilité : ‪naissance et développements de la théorie de la calculabilité des années 1920 à 1970 / ‪sous la direction de Jean Mosconi et Michel Bourdeau ; introduction historique par Serge Grigorieff.
Publisher: ‪Paris : ‪Cassini, ‪[2022]
Description: ‪xvi, 798 pages : ‪illustrations ; ‪24 cm.
Subject: ‪Computable functions -- ‪History.
Other Subject: ‪Recursive functions -- ‪History.
Other Subject: ‪Logic, Symbolic and mathematical -- ‪History.
Other Subject: ‪Unsolvability (Mathematical logic) -- ‪History.
Other Subject: ‪Decidability (Mathematical logic) -- ‪History.
Other Subject: ‪Fonctions calculables.
Other Subject: ‪Computable functions
Other Subject: ‪Decidability (Mathematical logic)
Other Subject: ‪Logic, Symbolic and mathematical
Other Subject: ‪Recursive functions
Other Subject: ‪Unsolvability (Mathematical logic)
ISBN: ‪9782842250942
Other ISBN: ‪284225094X