diff --git a/pdf/Algorithmic_complexity.pdf b/pdf/Algorithmic_complexity.pdf
new file mode 100644
index 0000000..80f584f
Binary files /dev/null and b/pdf/Algorithmic_complexity.pdf differ
diff --git a/pdf/Arrays.pdf b/pdf/Arrays.pdf
new file mode 100644
index 0000000..a9941d8
Binary files /dev/null and b/pdf/Arrays.pdf differ
diff --git a/pdf/Assembly_programs.pdf b/pdf/Assembly_programs.pdf
new file mode 100644
index 0000000..be62673
Binary files /dev/null and b/pdf/Assembly_programs.pdf differ
diff --git a/pdf/Atomic_and_molecular_sentences.pdf b/pdf/Atomic_and_molecular_sentences.pdf
new file mode 100644
index 0000000..5394ac5
Binary files /dev/null and b/pdf/Atomic_and_molecular_sentences.pdf differ
diff --git a/pdf/Axioms_of_set_theory.pdf b/pdf/Axioms_of_set_theory.pdf
new file mode 100644
index 0000000..f7b6579
Binary files /dev/null and b/pdf/Axioms_of_set_theory.pdf differ
diff --git a/pdf/Basic_database_concepts.pdf b/pdf/Basic_database_concepts.pdf
new file mode 100644
index 0000000..4603d38
Binary files /dev/null and b/pdf/Basic_database_concepts.pdf differ
diff --git a/pdf/Basic_properties_of_sets.pdf b/pdf/Basic_properties_of_sets.pdf
new file mode 100644
index 0000000..53d9805
Binary files /dev/null and b/pdf/Basic_properties_of_sets.pdf differ
diff --git a/pdf/Biconditional_Elimination.pdf b/pdf/Biconditional_Elimination.pdf
new file mode 100644
index 0000000..b6ac13a
Binary files /dev/null and b/pdf/Biconditional_Elimination.pdf differ
diff --git a/pdf/Biconditional_Introduction.pdf b/pdf/Biconditional_Introduction.pdf
new file mode 100644
index 0000000..78c2bdd
Binary files /dev/null and b/pdf/Biconditional_Introduction.pdf differ
diff --git a/pdf/Binary_arithmetic.pdf b/pdf/Binary_arithmetic.pdf
new file mode 100644
index 0000000..6fe0ba7
Binary files /dev/null and b/pdf/Binary_arithmetic.pdf differ
diff --git a/pdf/Binary_arithmetic_with_circuits.pdf b/pdf/Binary_arithmetic_with_circuits.pdf
new file mode 100644
index 0000000..01baf7b
Binary files /dev/null and b/pdf/Binary_arithmetic_with_circuits.pdf differ
diff --git a/pdf/Bits,_bytes,_nibbles.pdf b/pdf/Bits,_bytes,_nibbles.pdf
new file mode 100644
index 0000000..4d07d37
Binary files /dev/null and b/pdf/Bits,_bytes,_nibbles.pdf differ
diff --git a/pdf/Compile_from_source.pdf b/pdf/Compile_from_source.pdf
new file mode 100644
index 0000000..45fe61c
Binary files /dev/null and b/pdf/Compile_from_source.pdf differ
diff --git a/pdf/Conditional_Elimination.pdf b/pdf/Conditional_Elimination.pdf
new file mode 100644
index 0000000..4a45d12
Binary files /dev/null and b/pdf/Conditional_Elimination.pdf differ
diff --git a/pdf/Conditional_Introduction.pdf b/pdf/Conditional_Introduction.pdf
new file mode 100644
index 0000000..2cef28f
Binary files /dev/null and b/pdf/Conditional_Introduction.pdf differ
diff --git a/pdf/Conjunction_Elimination.pdf b/pdf/Conjunction_Elimination.pdf
new file mode 100644
index 0000000..c3ba836
Binary files /dev/null and b/pdf/Conjunction_Elimination.pdf differ
diff --git a/pdf/Conjunction_Introduction.pdf b/pdf/Conjunction_Introduction.pdf
new file mode 100644
index 0000000..c02cf34
Binary files /dev/null and b/pdf/Conjunction_Introduction.pdf differ
diff --git a/pdf/Defining_a_computer.pdf b/pdf/Defining_a_computer.pdf
new file mode 100644
index 0000000..dde9bed
Binary files /dev/null and b/pdf/Defining_a_computer.pdf differ
diff --git a/pdf/Design_features_of_language.pdf b/pdf/Design_features_of_language.pdf
new file mode 100644
index 0000000..63ea18e
Binary files /dev/null and b/pdf/Design_features_of_language.pdf differ
diff --git a/pdf/Disjunction_Elimination.pdf b/pdf/Disjunction_Elimination.pdf
new file mode 100644
index 0000000..1c93cfa
Binary files /dev/null and b/pdf/Disjunction_Elimination.pdf differ
diff --git a/pdf/Disjunction_Introduction.pdf b/pdf/Disjunction_Introduction.pdf
new file mode 100644
index 0000000..d75a900
Binary files /dev/null and b/pdf/Disjunction_Introduction.pdf differ
diff --git a/pdf/HTTP_request_types.pdf b/pdf/HTTP_request_types.pdf
new file mode 100644
index 0000000..0833864
Binary files /dev/null and b/pdf/HTTP_request_types.pdf differ
diff --git a/pdf/Indeterminacy.pdf b/pdf/Indeterminacy.pdf
new file mode 100644
index 0000000..ed82511
Binary files /dev/null and b/pdf/Indeterminacy.pdf differ
diff --git a/pdf/Law_of_the_Excluded_Middle.pdf b/pdf/Law_of_the_Excluded_Middle.pdf
new file mode 100644
index 0000000..d1a6c72
Binary files /dev/null and b/pdf/Law_of_the_Excluded_Middle.pdf differ
diff --git a/pdf/Logic_circuits.pdf b/pdf/Logic_circuits.pdf
new file mode 100644
index 0000000..7a8f818
Binary files /dev/null and b/pdf/Logic_circuits.pdf differ
diff --git a/pdf/Logic_gates.pdf b/pdf/Logic_gates.pdf
new file mode 100644
index 0000000..68ab64f
Binary files /dev/null and b/pdf/Logic_gates.pdf differ
diff --git a/pdf/Logical_possibility_and_necessity.pdf b/pdf/Logical_possibility_and_necessity.pdf
new file mode 100644
index 0000000..75c45a3
Binary files /dev/null and b/pdf/Logical_possibility_and_necessity.pdf differ
diff --git a/pdf/Lovelace_quote.pdf b/pdf/Lovelace_quote.pdf
new file mode 100644
index 0000000..d02e79f
Binary files /dev/null and b/pdf/Lovelace_quote.pdf differ
diff --git a/pdf/Morphology.pdf b/pdf/Morphology.pdf
new file mode 100644
index 0000000..81f0248
Binary files /dev/null and b/pdf/Morphology.pdf differ
diff --git a/pdf/Negation_Elimination.pdf b/pdf/Negation_Elimination.pdf
new file mode 100644
index 0000000..437ad4c
Binary files /dev/null and b/pdf/Negation_Elimination.pdf differ
diff --git a/pdf/Negation_Introduction.pdf b/pdf/Negation_Introduction.pdf
new file mode 100644
index 0000000..371906b
Binary files /dev/null and b/pdf/Negation_Introduction.pdf differ
diff --git a/pdf/Object_language_and_meta-language.pdf b/pdf/Object_language_and_meta-language.pdf
new file mode 100644
index 0000000..9ded3a5
Binary files /dev/null and b/pdf/Object_language_and_meta-language.pdf differ
diff --git a/pdf/Package_management_in_Arch.pdf b/pdf/Package_management_in_Arch.pdf
new file mode 100644
index 0000000..5578772
Binary files /dev/null and b/pdf/Package_management_in_Arch.pdf differ
diff --git a/pdf/Primary_key.pdf b/pdf/Primary_key.pdf
new file mode 100644
index 0000000..2838000
Binary files /dev/null and b/pdf/Primary_key.pdf differ
diff --git a/pdf/Queue.pdf b/pdf/Queue.pdf
new file mode 100644
index 0000000..0d886a5
Binary files /dev/null and b/pdf/Queue.pdf differ
diff --git a/pdf/RESTful_APIs.pdf b/pdf/RESTful_APIs.pdf
new file mode 100644
index 0000000..6188ff8
Binary files /dev/null and b/pdf/RESTful_APIs.pdf differ
diff --git a/pdf/Recursion.pdf b/pdf/Recursion.pdf
new file mode 100644
index 0000000..d95a648
Binary files /dev/null and b/pdf/Recursion.pdf differ
diff --git a/pdf/Reiteration.pdf b/pdf/Reiteration.pdf
new file mode 100644
index 0000000..855e46e
Binary files /dev/null and b/pdf/Reiteration.pdf differ
diff --git a/pdf/SQL_syntax.pdf b/pdf/SQL_syntax.pdf
new file mode 100644
index 0000000..bb7fc86
Binary files /dev/null and b/pdf/SQL_syntax.pdf differ
diff --git a/pdf/Semantic_versioning.pdf b/pdf/Semantic_versioning.pdf
new file mode 100644
index 0000000..6f2dcdb
Binary files /dev/null and b/pdf/Semantic_versioning.pdf differ
diff --git a/pdf/Soundness.pdf b/pdf/Soundness.pdf
new file mode 100644
index 0000000..5d12392
Binary files /dev/null and b/pdf/Soundness.pdf differ
diff --git a/pdf/Stacks.pdf b/pdf/Stacks.pdf
new file mode 100644
index 0000000..c5ddd3a
Binary files /dev/null and b/pdf/Stacks.pdf differ
diff --git a/pdf/Syllogism.pdf b/pdf/Syllogism.pdf
new file mode 100644
index 0000000..c5f55b6
Binary files /dev/null and b/pdf/Syllogism.pdf differ
diff --git a/pdf/The_Pragmatic_Programmer_1999.pdf b/pdf/The_Pragmatic_Programmer_1999.pdf
new file mode 100644
index 0000000..6042ea3
Binary files /dev/null and b/pdf/The_Pragmatic_Programmer_1999.pdf differ
diff --git a/pdf/The_binary_number_system.pdf b/pdf/The_binary_number_system.pdf
new file mode 100644
index 0000000..5b6963c
Binary files /dev/null and b/pdf/The_binary_number_system.pdf differ
diff --git a/pdf/Theorems_and_empty_sets.pdf b/pdf/Theorems_and_empty_sets.pdf
new file mode 100644
index 0000000..628c453
Binary files /dev/null and b/pdf/Theorems_and_empty_sets.pdf differ
diff --git a/pdf/Turing_machines.pdf b/pdf/Turing_machines.pdf
new file mode 100644
index 0000000..f6bce59
Binary files /dev/null and b/pdf/Turing_machines.pdf differ
diff --git a/pdf/User_management.pdf b/pdf/User_management.pdf
new file mode 100644
index 0000000..a13b797
Binary files /dev/null and b/pdf/User_management.pdf differ
diff --git a/pdf/Von_Neumann_architecture.pdf b/pdf/Von_Neumann_architecture.pdf
new file mode 100644
index 0000000..091705f
Binary files /dev/null and b/pdf/Von_Neumann_architecture.pdf differ
diff --git a/pdf/Why_computers_use_binary.pdf b/pdf/Why_computers_use_binary.pdf
new file mode 100644
index 0000000..e540174
Binary files /dev/null and b/pdf/Why_computers_use_binary.pdf differ
diff --git a/pdf/test.pdf b/pdf/test.pdf
new file mode 100644
index 0000000..e69de29