Proof methods for modal and intuitionistic logics /

Proof methods for modal and intuitionistic logics /

41

Detaylı Bibliyografya
Yazar:	Fitting, Melvin, 1942-
Materyal Türü:
Baskı/Yayın Bilgisi:	Dordrecht : D. Reidel, 1983
Konular:	Proof theory Modality (Logic) Intuitionistic mathematics

Benzer Materyaller

Intuitionistic logic model theory and forcing /
Yazar:: Fitting, Melvin, 1942-
Baskı/Yayın Bilgisi: (1969)

Intuitionism and proof theory : proceedings /
Yazar:: Conference on Intuitionism and Proof Theory (1968 : State University of New York, Buffalo, New York), ve diğerleri
Baskı/Yayın Bilgisi: (1970)

Proof theory and intuitionistic systems /
Yazar:: 349246 Scarpellini, Bruno
Baskı/Yayın Bilgisi: (1971)

A characterisation of open bisimilarity using an intuitionistic modal logic
Yazar:: Ahrn, Ki Yung, ve diğerleri
Baskı/Yayın Bilgisi: (2018)

Proof theory for fuzzy logics /
Yazar:: 432738 Metcalfe, George, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

Handbook of modal logic /
Yazar:: Blackburn, Patrick, 1959-, ve diğerleri
Baskı/Yayın Bilgisi: (2007)

Advances in modal logic /
Yazar:: Wolter, Frank
Baskı/Yayın Bilgisi: (2002)

Logic, proof and sets /
Yazar:: 388844 Bittinger, Marvin L.
Baskı/Yayın Bilgisi: (1982)

Choice sequences: a chapter of intuitionistics mathematics /
Yazar:: Troelstra, A. S. (Anne Sjerp)
Baskı/Yayın Bilgisi: (1977)

Modal logic : The lewis-modal systems /
Yazar:: 423681 Zeman, J. Jay
Baskı/Yayın Bilgisi: (1973)

Logic and modality
Yazar:: Bevan, M
Baskı/Yayın Bilgisi: (2022)

Modal logic : an Introduction to its syntax and semantics /
Yazar:: 374151 Cocchiarella, Nino B., ve diğerleri
Baskı/Yayın Bilgisi: (2008)

Metamathematical investigation of intuitionistic arithmetic and analysis /
Yazar:: Troelstra, A. S. (Anne Sjerp)
Baskı/Yayın Bilgisi: (1973)

The foundations of intuitionistic mathematics, especially in relation to recursive functions /
Yazar:: 308908 Kleene, Stephen Cole
Baskı/Yayın Bilgisi: (1965)

Proofs and types /
Yazar:: 291662 Girard, Jean-Yves, ve diğerleri
Baskı/Yayın Bilgisi: (1989)

Logic for concurrency and synchronisation /
Yazar:: Queiroz, Ruy J.G.B. de
Baskı/Yayın Bilgisi: (2003)

Basic proof theory /
Yazar:: Troelstra, A. S. (Anne Sjerp), ve diğerleri
Baskı/Yayın Bilgisi: (2006)

Proof /
Yazar:: Plumpton, C. (Charles), ve diğerleri
Baskı/Yayın Bilgisi: (1984)

How to read and do proofs : an introduction to mathematical thought processes /
Yazar:: 419318 Solow, Daniel
Baskı/Yayın Bilgisi: (2005)

Modalities and formal systems
Yazar:: Millar, P, ve diğerleri
Baskı/Yayın Bilgisi: (1969)

Proof in mathematics ('if', 'then' and 'perhaps') /
Yazar:: Baxandall, P. R.
Baskı/Yayın Bilgisi: (1978)

Proof theory /
Yazar:: Aczel, Peter
Baskı/Yayın Bilgisi: (2008)

Conjecture and proof /
Yazar:: 181611 Laczkovich, Miklos
Baskı/Yayın Bilgisi: (2001)

Proof theory /
Yazar:: 349140 Schutte, Kurt
Baskı/Yayın Bilgisi: (1977)

Journey into mathematics : an introduction to proofs /
Yazar:: Rotman, Joseph J., 1934-
Baskı/Yayın Bilgisi: (1998)

Logic II : proof [kasetvideo]
Baskı/Yayın Bilgisi: ([19-)

Logic II - proof [filem]
Baskı/Yayın Bilgisi: ([n.d)

Proof by induction [filem]
Baskı/Yayın Bilgisi: (1969)

Math proofs demystified /
Yazar:: 344368 Gibilisco, Stan
Baskı/Yayın Bilgisi: (2005)

The nuts and bolts of proofs /
Yazar:: 312353 Cupillari, Antonella
Baskı/Yayın Bilgisi: (2005)

Logic in algebraic form : three languages and theories /
Yazar:: 366577 Craig, William
Baskı/Yayın Bilgisi: (1974)

Mathematical reasoning : writing and proof /
Yazar:: 395819 Sundstrom, Theodore A.
Baskı/Yayın Bilgisi: (2006)

Introduction to proof in abstract mathematics /
Yazar:: 460536 Wohlgemuth, Andrew
Baskı/Yayın Bilgisi: (1990)

Mathematical proof : an elementary approach /
Yazar:: 304136 Halleburg, Arthur E.
Baskı/Yayın Bilgisi: (1974)

Principles of intuitionism /
Yazar:: Troelstra, A. S. (Anne Sjerp)
Baskı/Yayın Bilgisi: (1969)

Intuitionism : an introduction /
Yazar:: 335238 Heyting, Arend
Baskı/Yayın Bilgisi: (1966)

Element of intuitionism /
Yazar:: 345099 Dummett, Micheal
Baskı/Yayın Bilgisi: (1977)

Algebra of proofs /
Yazar:: 349024 Szabo, M. E.
Baskı/Yayın Bilgisi: (1978)

How to read and do proofs : an introduction to mathematical thought process /
Yazar:: 419318 Solow, Daniel
Baskı/Yayın Bilgisi: (1982)

Analysis : with an introduction to proof /
Yazar:: 233723 Lay, Steven R.
Baskı/Yayın Bilgisi: (2004)