Reuben Marambii Library Search for '(su:{Proof theory.})'

Proof, logic, and formalization

London ; | New York : Routledge, 1992 .
x, 241 p. :

]]> Place hold on Proof, logic, and formalization

Logic for concurrency and synchronisation

Dordrecht ; | Boston : Kluwer Academic Publishers, 2003 .
xxi, 284 p. :

]]> Place hold on Logic for concurrency and synchronisation

Lectures on the Curry-Howard isomorphism

By S²rensen, Morten Heine..
Amsterdam ; | Boston [MA] : Elsevier, 2006 .
xiv, 442 p. :

]]> Place hold on Lectures on the Curry-Howard isomorphism

An Introduction to Mathematical Proofs

By Loehr, Nicholas A..
Milton : CRC Press LLC, 2019 .
1 online resource (413 p.). , Description based upon print version of record. 9781000709629 | 1000709620 | 9781000709803 | 1000709809 | 9781000709711 | 100070971X | 9780429322587 | 0429322585

]]> Place hold on An Introduction to Mathematical Proofs

A transition to proof : an introduction to advanced mathematics /

By Nicholson, Neil R.,.
.
1 online resource. 9780429259838 | 0429259832 | 9780429535475 | 0429535473 | 9780429550171 | 0429550170 | 9780429522000 | 0429522002

]]> Place hold on A transition to proof :

Proofs 101 : an introduction to formal mathematics /

By Kirtland, Joseph.
.
1 online resource : ,

1. Logic. 1.1 Introduction. 1.2. Statements and Logical Connectives. 1.3 Logical Equivalence. 1.4. Predicates and Quantifiers. 1.5. Negation. 2. Proof Techniques. 2.1. Introduction. 2.2. The Axiomatic and Rigorous Nature of Mathematics. 2.3. Foundations. 2.4. Direct Proof. 2.5. Proof by Contrapositive. 2.5. Proof by Cases. 2.6. Proof by Contradiction. 3. Sets. 3.1. The Concept of a Set. 3.2. Subset of Set Equality. 3.3. Operations on Sets. 3.4. Indexed Sets. 3.5. Russel's Paradox. 4. Proof by Mathematical Induction. 4.1. Introduction. 4.2. The Principle of Mathematical Induction. 4.3. Proof by strong Induction. 5. Relations. 5.1. Introduction. 5.2. Properties of Relations. 5.3. Equivalence Relations. 6. Introduction. 6.1. Definition of a Function. 6.2. One-To-One and Onto Functions. 6.3. Composition of Functions. 6.4. Inverse of a Function. 7. Cardinality of Sets. 7.1. Introduction. 7.2. Sets with the same Cardinality. 7.3. Finite and Infinite Sets. 7.4. Countably Infinite Sets. 7.5. Uncountable Sets. 7.6 Comparing Cardinalities.

9781000227383 | 1000227383 | 9781000227345 | 1000227340 | 9781000227369 | 1000227367 | 9781003082927 | 1003082920

]]> Place hold on Proofs 101 :