Omslagsbild

Proof theory of modal logic /

Sparad:

Bibliografiska uppgifter
Övriga upphovsmän:	Heinrich ,Wansing
Materialtyp:	Bok
Språk:	engelska
Publicerad:	Dordrecht : Kluwer Academic, c1996
Ämnen:	Model logic-congresses Proof theory-congresses
Taggar:	Lägg till en tagg Inga taggar, Lägg till första taggen!

Liknande verk

Palynology in oil exploration : a symposium /
av: Cross, Aureal T.
Publicerad: (1964)

Palynology in oil exploration a symposium
av: Cross, Aureal T
Publicerad: (1964)

Groundwater in the Urban Environment: proceedings of the XXVII IAH Congress on Groundwater in the Urban Environment, Nottingham, UK, 21-27 September 1997 /
av: Rashid, Salim
Publicerad: (1999)

Engineering Geology for a Habitable Earth: IAEG XIV Congress 2023 proceedings, Chengdu, China. Volume 3: active tectonics, geomorphology, climate and geoenvironmental engineering geology /
av: Struckmeier, W. F.
Publicerad: (2024)

Groundwater in the Urban Environment: proceedings of the XXVII IAH Congress on Groundwater in the Urban Environment, Nottingham, UK, 21-27 September 1997 /
av: Mitchell, James K.
Publicerad: (1999)

Engineering Geology for a Habitable Earth: IAEG XIV Congress 2023 proceedings, Chengdu, China. Volume 3: active tectonics, geomorphology, climate and geoenvironmental engineering geology /
av: Smith, G. N.
Publicerad: (2024)

Elastic-plastic fracture test methods : the user's experience /
Publicerad: (1991)

Groundwater in the Urban Environment proceedings of the XXVII IAH Congress on Groundwater in the Urban Environment, Nottingham, UK, 21-27 September 1997
av: Mitchell, James K
Publicerad: (1999)

Groundwater in the Urban Environment proceedings of the XXVII IAH Congress on Groundwater in the Urban Environment, Nottingham, UK, 21-27 September 1997
av: Rashid, Salim
Publicerad: (1999)

Engineering Geology for a Habitable Earth IAEG XIV Congress 2023 proceedings, Chengdu, China. Volume 3: active tectonics, geomorphology, climate and geoenvironmental engineering geology
av: Smith, G. N
Publicerad: (2024)

Engineering Geology for a Habitable Earth IAEG XIV Congress 2023 proceedings, Chengdu, China. Volume 3: active tectonics, geomorphology, climate and geoenvironmental engineering geology
av: Struckmeier, W. F
Publicerad: (2024)

Advances in gene technology : the molecular biology of immune diseases and the immune response /
av: Streilein, J. Wayne
Publicerad: (1990)

Particle physics and cosmology at the interface / BCSPIN Winter School Lecture Notes - Vol. 1
av: Pati, J.
Publicerad: (1995)

Nuclear data in science and technology proceedings of the Symposium on Applications of Nuclear Data in Science and Technology held by the International Atomic Energy Agency in Paris, 12-16 March 1973
Publicerad: (1973)

Future petroleum provinces of the world/ Proceedings of the Wallace E. Pratt Memorial Conference, December 1984, Phoenix, Arizona
av: Halbouty, Michel T.
Publicerad: (1986)

Future petroleum provinces of the world Proceedings of the Wallace E. Pratt Memorial Conference, December 1984, Phoenix, Arizona
av: Halbouty, Michel T
Publicerad: (1986)

Particle physics and cosmology at the interface BCSPIN Winter School Lecture Notes - Vol. 1
av: Pati, J
Publicerad: (1995)

Nuclear data in science and technology proceedings of the Symposium on Applications of Nuclear Data in Science and Technology held by the International Atomic Energy Agency in Paris, 12-16 March 1973
Publicerad: (1973)

Petroleum geochemistry and exploration in the Afro-Asian region : proceedings of the 5th International Conference (AAAPG-2000) /
av: Garg, Anil K.
Publicerad: (2000)

Elements of reflection seismology : petroleum technical seminar, September, 2000
Publicerad: (2000)

Elements of reflection seismology petroleum technical seminar, September, 2000
Publicerad: (2000)

Petroleum geochemistry and exploration in the Afro-Asian region proceedings of the 5th International Conference (AAAPG-2000)
av: Garg, Anil K
Publicerad: (2000)

Information theory statistical decision functions random processes: transactions of the 11th prague conference
Publicerad: (1990)

Agri-Hrti Expo-1996, proceedings /
av: Basu, S. K.
Publicerad: (1996)

Complex regional pain syndrome
av: Harden, R. Norman
Publicerad: (2001)

Theory of nuclear structure : Trieste lectures 1969 : lectures presented at an international course, Trieste, 7 January-31 March 1969 /
Publicerad: (1970)

Theory of nuclear structure Trieste lectures 1969 : lectures presented at an international course, Trieste, 7 January-31 March 1969
Publicerad: (1970)

Applied ethnobotany : proceedings of the subregional training workshop on applied ethnobotany at Bangladesh Forest Research Institute, Chittagong (December 17-22, 1997) /
av: Banik, R. L.
Publicerad: (1998)

Modal Logic: an introduction
av: Chellas, Brian F.
Publicerad: (1980)

Financial fragility and investment in the capitalist economy: the economic legacy of Hyman Minsky/
Publicerad: (2001)

Ground water resources of Bangladesh /
av: Society, Bangladesh Geological
Publicerad: (1979)

Bangladesh environment 2002 : a compilation of technical papers of the 2nd International Conference on Bangladesh Environment (ICBEN-2002) /
av: Andolon, Bangladesh Poribesh
Publicerad: (2002)

Ground water resources of Bangladesh
av: Bangladesh Geological Society
Publicerad: (1979)

Bangladesh environment 2002 a compilation of technical papers of the 2nd International Conference on Bangladesh Environment (ICBEN-2002)
av: Bangladesh Poribesh Andolon
Publicerad: (2002)

Applications of Plant Cell and Tissue Culture /
Publicerad: (1988)

Proceedings of the International Seminar on Bangladesh Floods : regional and global environmental perspectives, Dhaka, 4-7 March 1989 /
av: Ahmad, Mohiuddin
Publicerad: (1989)

Mathematics Before and After Pythagoras Exploring the Foundations and Evolution of Mathematical Thought /
av: Agarwal, Ravi P.
Publicerad: (2024)

30th International Geological Congress abstracts, Beijing, China, 4-14 August 1996 /
Publicerad: (1996)

30th International Geological Congress abstracts, Beijing, China, 4-14 August 1996 /
Publicerad: (1996)

30th International Geological Congress abstracts, Beijing, China, 4-14 August 1996 /
Publicerad: (1996)