Proof methods for modal and intuitionistic logics /

A short introduction to intuitionistic logic /
by: Mint͡s, G. E.
Published: (2000)

Interpolation and definability in modal logics : modal and intuitionistic logic /
by: Gabbay, Dov M., 1945-
Published: (2005)

The foundations of intuitionistic mathematics /
Published: (1965)

Metamathematical investigation of intuitionistic arithmetic and analysis /
by: Troelstra, A. S. (Anne Sjerp)
Published: (1973)

On Skolem and Herbrand theorems for intuitionistic logic.
by: Jervell, Herman Ruge
Published: (1972)

Proof theory and intuitionistic systems /
by: Scarpellini, Bruno
Published: (1971)

Craig's interpolation theorem for the intuitionistic logic of constant domains /
by: Jervell, Herman Ruge
Published: (1971)

Semantical investigations in Heyting's intuitionistic logic /
by: Gabbay, Dov M., 1945-
Published: (1981)

Intuitionistic fuzzy measures : theory and applications /
by: Ban, Adrian I.
Published: (2006)

Proof, logic, and formalization /
Published: (1992)

Metamathematical investigation of intuitionistic arithmetic and analysis /
by: Troelstra, A. S. (Anne Sjerp)
Published: (1973)

Intentional mathematics /
Published: (1985)

Logic, proof, and sets /
by: Bittinger, Marvin L.
Published: (1982)

Extensional Godel functional interpretation ; a consistency proof of classical analysis.
by: Luckhardt, Horst
Published: (1973)

Modal logic /
by: Blackburn, Patrick, 1959-
Published: (2001)

Semantical investigations in Heyting's intuitionistic logic /
by: Gabbay, Dov M., 1945-
Published: (1981)

Interpolation and definability : modal and intuitionistic logic /
by: Gabbay, Dov M., 1945-
Published: (2005)

Conditional and preferential logics : proof methods and theorem proving /
by: Pozzato, Gian Luca
Published: (2010)

Tools and techniques in modal logic /
by: Kracht, Marcus
Published: (1999)

Intuitionistic logic, model theory and forcing.
by: Fitting, Melvin, 1942-
Published: (1969)

Model theory for modal logic : Kripke models for modal predicate calculi /
by: Bowen, Kenneth A. (Kenneth Alan)
Published: (1979)

Tools and techniques in modal logic /
by: Kracht, Marcus
Published: (1999)

Multi-dimensional modal logic /
by: Marx, Maarten
Published: (1997)

Self reference and modal logic /
by: Smoryński, C.
Published: (1985)

Introduction to mathematical proofs /
by: Roberts, Charles
Published: (2014)

Proof Methods for Modal and Intuitionistic Logics /
by: Fitting, Melvin
Published: (1983)

The logic of provability /
by: Boolos, George
Published: (1993)

The unprovability of consistency : an essay in modal logic /
by: Boolos, George
Published: (1979)

Algebra of proofs /
by: Szabo, M. E.
Published: (1978)

Reductive logic and proof-search : proof theory, semantics, and control /
by: Pym, David J., et al.
Published: (2004)

Choice sequences : a chapter of intuitionistic mathematics /
by: Troelstra, A. S. (Anne Sjerp)
Published: (1977)

How to read and do proofs : an introduction to mathematical thought process /
by: Solow, Daniel
Published: (1982)

How to read and do proofs : an introduction to mathematical thought processes /
by: Solow, Daniel
Published: (2002)

Intuitionism : an introduction /
Published: (1956)

The nuts and bolts of proofs /
by: Cupillari, Antonella
Published: (2005)

Proofs 101 : an introduction to formal mathematics /
by: Kirtland, Joseph (Mathematics professor)
Published: (2021)