Algebra of proofs /
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | Czech |
| Published: |
Amsterdam :
North-Holland Publishing,
1978
|
| Series: | rz1
|
| Online Access: |
|
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Virus proof /
by: Schmauder, Phil
Published: (2000)
by: Schmauder, Phil
Published: (2000)
Proofs from The Book /
by: Aigner, Martin 1942-, et al.
Published: (2004)
by: Aigner, Martin 1942-, et al.
Published: (2004)
The Story of Proof : Logic and the History of Mathematics /
by: Stillwell, John
Published: (2022)
by: Stillwell, John
Published: (2022)
Contract Proofing Papers.
Published: (2009)
Published: (2009)
Sets, Models and Proofs
by: Moerdijk, Ieke
Published: (2018)
by: Moerdijk, Ieke
Published: (2018)
Proofs from THE BOOK
by: Aigner, Martin
Published: (2018)
by: Aigner, Martin
Published: (2018)
The International Journal of Evidence & Proof
The International journal of evidence and proof
Methodology of Judicial Proof and Presumption
by: He, Jiahong
Published: (2018)
by: He, Jiahong
Published: (2018)
Conjecture and proof. An introduction to mathematical thinking /
by: Schwartz, Diane Driscoll
Published: (1997)
by: Schwartz, Diane Driscoll
Published: (1997)
Mathematical proofs. A transition to advanced mathematics /
by: Chartrand, Gary
Published: (2003)
by: Chartrand, Gary
Published: (2003)
Advances in Mathematics Education Research on Proof and Proving An International Perspective /
Published: (2018)
Published: (2018)
Intuitionistic Proof Versus Classical Truth The Role of Brouwer's Creative Subject in Intuitionistic Mathematics /
by: Martino, Enrico
Published: (2018)
by: Martino, Enrico
Published: (2018)
Future‐proofing adult learning in London, United Kingdom /
Published: (2021)
Published: (2021)
Computation and proof theory. Part 2 : proceedings of the logic colloquium ; Aachen, July 18 - 23, 1983 /
by: Ambos-Spies, Klaus
Published: (1984)
by: Ambos-Spies, Klaus
Published: (1984)
Encyclopedia of chemical technology. Vol. 14. Thermodynamics to water-proofing /
by: Kirk, Raymond Eller
Published: (1955)
by: Kirk, Raymond Eller
Published: (1955)
Digitálne rýchle nátlačkové zariadenie farieb Pietro Proof II.
Published: (2005)
Published: (2005)
COMPOSITIONALITY, CONCURRENCY AND PARTIAL CORRECTNESS. PROOF THEORIES FOR NETWORKS OF PROCESSES, AND THEIR CONNECTIONS /
by: Zwiers, Jakob
Published: (1988)
by: Zwiers, Jakob
Published: (1988)
Höhere Algebra /
by: Dickson, L. E.
Published: (1929)
by: Dickson, L. E.
Published: (1929)
Linear Algebra
by: Nair, M. Thamban
Published: (2018)
by: Nair, M. Thamban
Published: (2018)
Algebra /
by: Flachsmeyer, J., et al.
Published: (1978)
by: Flachsmeyer, J., et al.
Published: (1978)
Calkin algebras and algebras of operators on Banach spaces /
by: Caradus, S. R., et al.
Published: (1974)
by: Caradus, S. R., et al.
Published: (1974)
Algebra /
by: Demlová, Marie
Published: (1985)
by: Demlová, Marie
Published: (1985)
Algebra.
by: Bican, Ladislav 1942-
Published: (1984)
by: Bican, Ladislav 1942-
Published: (1984)
Algebra /
by: Nagy, Jozef 1932-
Published: (1997)
by: Nagy, Jozef 1932-
Published: (1997)
Algebra.
by: Bican, Ladislav 1942-
Published: (1977)
by: Bican, Ladislav 1942-
Published: (1977)
Algebra /
by: Burian, Květoslav
Published: (1973)
by: Burian, Květoslav
Published: (1973)
Algebra .
by: Burian, Květoslav, et al.
Published: (1977)
by: Burian, Květoslav, et al.
Published: (1977)
Algebra /
by: Demlová, Marie
Published: (1982)
by: Demlová, Marie
Published: (1982)
Algebra. II. diel. Polynomická algebra. Algebra. III. diel. Lineárna algebra /
by: Klenovčan, Pavel
Published: (2001)
by: Klenovčan, Pavel
Published: (2001)
Algebra /
by: Mac Lane, Saunders
Published: (1974)
by: Mac Lane, Saunders
Published: (1974)
Algebra.
by: Haviar, Alfonz
Published: (1991)
by: Haviar, Alfonz
Published: (1991)