Logic in algebraic form : three languages and theories /

Logic in algebraic form : three languages and theories /

41

Détails bibliographiques
Auteur principal:	366577 Craig, William
Format:
Publié:	Amsterdam : North-Holland, 1974
Sujets:	Algebraic logic Proof theory

Documents similaires

Proof theory for fuzzy logics /
par: 432738 Metcalfe, George, et autres
Publié: (2009)

Algebraic logic /
par: 366609 Gindikin, S. G.
Publié: (1985)

Algebraic and logic programming /
par: Grabowski, J., et autres
Publié: (1988)

Logic, proof and sets /
par: 388844 Bittinger, Marvin L.
Publié: (1982)

Proof methods for modal and intuitionistic logics /
par: Fitting, Melvin, 1942-
Publié: (1983)

An algebraic introduction to mathematical logic /
par: 390016 Barnes, Donald W., et autres
Publié: (1975)

Selected topics in algebra and its interrelations with logic, number theory and algebraic geometry /
par: Bucur, Ionel, 1930-1976
Publié: (1984)

Proof theory /
par: Aczel, Peter
Publié: (2008)

Basic proof theory /
par: Troelstra, A. S. (Anne Sjerp), et autres
Publié: (2006)

Boolean algebra for computer logic /
par: Ennes, Harold E., 1911-
Publié: (1978)

Theorem proving [filem]
Publié: (1969)

Theorem proving [kasetvideo]
Publié: (1969)

Proofs and types /
par: 291662 Girard, Jean-Yves, et autres
Publié: (1989)

How to read and do proofs : an introduction to mathematical thought processes /
par: 419318 Solow, Daniel
Publié: (2005)

Logic and boolean algebra /
par: 398742 Levitz, Kathleen, et autres
Publié: (1979)

Logic I : Boolean algebra
par: Open University. Mathematics Foundation Course Team
Publié: (1971)

Logic II - proof [filem]
Publié: ([n.d)

Logic II : proof [kasetvideo]
Publié: ([19-)

Classical algebra : its nature, origins, and uses /
par: 287538 Cooke, Roger
Publié: (2008)

Practice problems in number systems, logic, and Boolean algebra /
par: 359306 Bukstein, Edward
Publié: (1973)

Practice problems in number systems,logic, and Boolean algebra /
par: 359306 Bukstein, Edward
Publié: (1977)

An introduction to mathematical reasoning : lectures on numbers, sets, and functions /
par: Eccles, Peter J., 1945-
Publié: (1997)

Mathematical reasoning : writing and proof /
par: 395819 Sundstrom, Theodore A.
Publié: (2006)

Proof by induction [filem]
Publié: (1969)

Proff by induction [kasetvideo]
Publié: (1969)

Conjecture and proof /
par: 181611 Laczkovich, Miklos
Publié: (2001)

Type-alpha DPLs
par: Arkoudas, Konstantine
Publié: (2004)

The Consistency and Complexity of Multiplicative Additive System Virtual
par: Horne, Ross
Publié: (2016)

How to read and do proofs : an introduction to mathematical thought process /
par: 419318 Solow, Daniel
Publié: (1982)

A bridge to advanced mathematics /
par: 366690 Sentilles, Dennis
Publié: (1975)

Using sophiscated models in resolution theorem proving /
par: 367238 Sandford, David M.
Publié: (1980)

Proof /
par: Plumpton, C. (Charles), et autres
Publié: (1984)

Precision, language and logic /
par: George, F. H. (Frank Honywill), 1921-
Publié: (1977)

Logic as algebra /
par: 181502 Halmos, Paul, et autres
Publié: (1998)

Algebraic theory of machines, languages, and semigroups /
par: Arbib, Michael A.
Publié: (1968)

Information Theory
par: Elias, Peter
Publié: (2010)

Zariski structures in noncommutative algebraic geometry and representation theory
par: Solanki, V
Publié: (2011)

Proofs and fundamentals : a first course in abstract mathematics /
par: Bloch, Ethan D., 1956-
Publié: (2000)

The theory of algebraic numbers /
par: 212170 Pollard, Harry
Publié: (1975)

Algebraic theory of numbers /
par: Samuel, Pierre, 1921-
Publié: (1970)