Proof theory of modal logic

Proof theory of modal logic

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς:	Wansing, Heinrich (Επιμελητής έκδοσης)
Μορφή:	Βιβλίο
Γλώσσα:	English
Δημοσίευση:	Dordrecht ; : Boston : Kluwer, 1996
Σειρά:	Applied logic series ; 2
Θέματα:	Modality (Logic) > Congresses. Proof theory > Congresses.
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

Παρόμοια τεκμήρια

Advances in modal logic
Δημοσίευση: (1998)

Modal logic
από: Blackburn, Patrick 1959-
Δημοσίευση: (2001)

Modal logic :
από: Chellas, Brian F.
Δημοσίευση: (1980)

Modal logic
από: Chagrov, Alexander
Δημοσίευση: (1997)

Introductory modal logic
από: Konyndyk, Kenneth
Δημοσίευση: (1986)

First steps in modal logic
από: Popkorn, Sally
Δημοσίευση: (1994)

Multi-dimensional modal logic
από: Marx, Maarten
Δημοσίευση: (1997)

A new introduction to modal logic
από: Hughes, G. E. (George Edward) 1918-
Δημοσίευση: (1996)

Modal logic and process algebra :
Δημοσίευση: (1995)

Sets and proofs :
Δημοσίευση: (1999)

Introduction to mathematical proofs :
από: Roberts, Charles E.
Δημοσίευση: (2015)

Aristotle's modal logic :
από: Patterson, Richard, 1946-
Δημοσίευση: (1995)

Proof theory :
από: Pohlers, Wolfram
Δημοσίευση: (1989)

Proof theory
από: Takeuti, Gaisi 1926-
Δημοσίευση: (2013)

Basic proof theory
από: Troelstra, A. S. (Anne Sjerp)
Δημοσίευση: (2000)

ISILC proof theory symposion :
Δημοσίευση: (1975)

Modality in grammar and discourse
Δημοσίευση: (1995)

Charming proofs :
από: Alsina, Claudi
Δημοσίευση: (2010)

Proofs and fundamentals :
από: Bloch, Ethan D. 1956-
Δημοσίευση: (2000)

Introduction to proof in abstract mathematics
από: Wohlgemuth, Andrew
Δημοσίευση: (2011)

Explanation and proof in mathematics :
Δημοσίευση: (2010)

The art of proof :
από: Beck, Matthias
Δημοσίευση: (2010)

Mood and modality
από: Palmer, F.R. (Frank Robert)
Δημοσίευση: (2001)

Αριστοτέλους το "όργανον" :
από: Αριστοτέλης, 384-322 π.Χ
Δημοσίευση: (1999)

Proof, logic, and conjecture :
από: Wolf, Robert S.
Δημοσίευση: (1998)

The logic of essentialism :
από: Thom, Paul
Δημοσίευση: (1996)

Αριστοτέλους το "όργανον" :
από: Αριστοτέλης, 384-322 π.Χ
Δημοσίευση: (1995)

Αριστοτέλους το "όργανον"
από: Αριστοτέλης, 384-322 π.Χ
Δημοσίευση: (1990)

Communication and meaning :
από: Jones, Andrew J. I. 1947-
Δημοσίευση: (1983)

Aristotle's syllogistic :
από: Lukasiewicz, Jan
Δημοσίευση: (1951)

Current Issues in Quantum Logic
Δημοσίευση: (1981)

An accompaniment to higher mathematics
από: Exner, George R.
Δημοσίευση: (1996)

An introduction to mathematical reasoning :
από: Eccles, Peter J. 1945-
Δημοσίευση: (2004)

Λογική και απόδειξη :
από: Boricic, Branislav
Δημοσίευση: (1995)

Logic and algebra
Δημοσίευση: (1996)

Logic programming :
Δημοσίευση: (1991)

Logic Programming :

Logic colloquium :
Δημοσίευση: (1975)

Recent developments in quantum logic :
Δημοσίευση: (1985)

Logic and its applications :
Δημοσίευση: (2005)