Skip to Main content Skip to Navigation
Lectures

Kit de survie - Logique

François Schwarzentruber 1
1 LogicA - Logic and Applications
ENS Cachan - École normale supérieure - Cachan, UR1 - Université de Rennes 1, IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Document type :
Lectures
Complete list of metadatas

Cited literature [41 references]  Display  Hide  Download

https://cel.archives-ouvertes.fr/cel-01995410
Contributor : François Schwarzentruber <>
Submitted on : Saturday, January 26, 2019 - 6:12:14 PM
Last modification on : Friday, July 10, 2020 - 4:06:02 PM
Long-term archiving on: : Saturday, April 27, 2019 - 12:59:01 PM

File

logique_agreg.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : cel-01995410, version 1

Citation

François Schwarzentruber. Kit de survie - Logique. Master. France. 2019, pp.1-72. ⟨cel-01995410⟩

Share

Metrics

Record views

227

Files downloads

1422