Delwedd Flaen

Proof theory of modal logic /

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Awduron Eraill:	Heinrich ,Wansing
Fformat:	Llyfr
Iaith:	Saesneg
Cyhoeddwyd:	Dordrecht : Kluwer Academic, c1996
Pynciau:	Model logic-congresses Proof theory-congresses
Tagiau:	Ychwanegu Tag Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!

Eitemau Tebyg

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

Palynology in oil exploration a symposium
gan: Cross, Aureal T
Cyhoeddwyd: (1964)

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

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

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

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

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

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

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

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

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

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

Particle physics and cosmology at the interface / BCSPIN Winter School Lecture Notes - Vol. 1
gan: Pati, J.
Cyhoeddwyd: (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
Cyhoeddwyd: (1973)

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

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

Particle physics and cosmology at the interface BCSPIN Winter School Lecture Notes - Vol. 1
gan: Pati, J
Cyhoeddwyd: (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
Cyhoeddwyd: (1973)

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

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

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

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

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

Agri-Hrti Expo-1996, proceedings /
gan: Basu, S. K.
Cyhoeddwyd: (1996)

Complex regional pain syndrome
gan: Harden, R. Norman
Cyhoeddwyd: (2001)

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

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

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

Modal Logic: an introduction
gan: Chellas, Brian F.
Cyhoeddwyd: (1980)

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

Ground water resources of Bangladesh /
gan: Society, Bangladesh Geological
Cyhoeddwyd: (1979)

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

Ground water resources of Bangladesh
gan: Bangladesh Geological Society
Cyhoeddwyd: (1979)

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

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

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

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

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

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

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