UB Paderborn / Katalog / Suche / in CDI

Mortality in patients admitted to intensive care with COVID‐19: an updated systematic review and meta‐analysis of observational studies

Anaesthesia, 2021-04, Vol.76 (4), p.537-548

2021

Volltextzugriff (PDF)

Litigation related to anaesthesia: analysis of claims against the NHS in England 2008–2018 and comparison against previous claim patterns

Anaesthesia, 2022-05, Vol.77 (5), p.527-537

2022

Volltextzugriff (PDF)

Patient characteristics, anaesthetic workload and techniques in the UK: an analysis from the 7th National Audit Project (NAP7) activity survey

Anaesthesia, 2023-06, Vol.78 (6), p.701-711

2023

Volltextzugriff (PDF)

Methods of the 7th National Audit Project (NAP7) of the Royal College of Anaesthetists: peri‐operative cardiac arrest

Anaesthesia, 2022-12, Vol.77 (12), p.1376-1385

2022

Volltextzugriff (PDF)

Peri-operative cardiac arrest in children as reported to the 7th National Audit Project of the Royal College of Anaesthetists

Anaesthesia, 2024-06, Vol.79 (6), p.583-592

2024

Volltextzugriff (PDF)

Peri-operative cardiac arrest: epidemiology and clinical features of patients analysed in the 7th National Audit Project of the Royal College of Anaesthetists

Anaesthesia, 2024-01, Vol.79 (1), p.18-30

2024

Volltextzugriff (PDF)

Methods of the 7 th National Audit Project (NAP7) of the Royal College of Anaesthetists: peri-operative cardiac arrest

Anaesthesia, 2022-12, Vol.77 (12), p.1376-1385

2022

Volltextzugriff (PDF)

The 7th National Audit Project ( NAP7 ) baseline survey of individual anaesthetists: preparedness for and experiences of peri‐operative cardiac arrest

Anaesthesia, 2023-12, Vol.78 (12), p.1453-1464

2023

Volltextzugriff (PDF)

Organisation of UK hospitals and anaesthetic departments in the treatment of peri‐operative cardiac arrest: an analysis from the 7th National Audit Project ( NAP7 ) local co‐ordinator baseline survey

Anaesthesia, 2023-12, Vol.78 (12), p.1442-1452

2023

Volltextzugriff (PDF)

The incidence of potentially serious complications during non-obstetric anaesthetic practice in the United Kingdom: an analysis from the 7th National Audit Project (NAP7) activity survey

Anaesthesia, 2024-01, Vol.79 (1), p.43-53

2024

Volltextzugriff (PDF)

Peri-operative cardiac arrest: management and outcomes of patients analysed in the 7th National Audit Project of the Royal College of Anaesthetists

Anaesthesia, 2024-01, Vol.79 (1), p.31-42

2024

Volltextzugriff (PDF)

Semi-Automated Mathematics

Journal of the ACM, 1969-01, Vol.16 (1), p.49-62

1969

Volltextzugriff (PDF)

Setsuo Saito. Truth value assignment in predicate calculus of first order. Notre Dame journal of formal logic, vol. 4 no. 3 (1963), pp. 216–223

The Journal of symbolic logic, 1966-06, Vol.31 (2), p.268-268

Oglesby, F. C.

1966

Volltextzugriff (PDF)

Jaakko Hintikka. Distributive normal forms in first-order logic. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium, Oxford, July 1963, edited by J. N. Crossley and M. A. E. Dummett, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 48–91. - Jaakko Hintikka. Distributive normal forms and deductive interpolation. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 (1964), pp. 185–191

The Journal of symbolic logic, 1966-06, Vol.31 (2), p.267-268

Oglesby, F. C.

1966

Volltextzugriff (PDF)

Layman E. Allen. Wff 'n proof. The game of modern logic. Wff 'n proof, New Haven, Conn., 1962, viii + 224 pp. - Layman E. Allen. Wff. The beginner's game of modern logic. Wff 'n proof, New Haven, Conn., 1963, 78 pp

The Journal of symbolic logic, 1965-03, Vol.30 (1), p.105-105

Oglesby, F. C.

1965

Volltextzugriff (PDF)

Burton Dreben, A. S. Kahr, and Hao Wang. Classification of AEA formulas by letter atoms. Bulletin of the American Mathematical Society, vol. 68 (1962), pp. 528–532

The Journal of symbolic logic, 1964-06, Vol.29 (2), p.101-101

Oglesby, F. C.

1964

Volltextzugriff (PDF)

Review: Jaakko Hintikka, J. N. Crossley, M. A. E. Dummett, Distributive Normal Forms in First-Order Logic; Jaakko Hintikka, Distributive Normal Forms and Deductive Interpolation

The Journal of symbolic logic, 1966, Vol.31 (iss. 2), p.267-268

Oglesby, F. C

1966

Volltextzugriff (PDF)

Review: Setsuo Saito, Truth Value Assignment in Predicate Calculus of First Order

The Journal of symbolic logic, 1966, Vol.31 (iss. 2), p.268-268

Oglesby, F. C

1966

Volltextzugriff (PDF)

Review: Layman E. Allen, Wff 'n Proof. The Game of Modern Logic; Layman E. Allen, Wff. The Beginner's Game of Modern Logic

The Journal of symbolic logic, 1965, Vol.30 (iss. 1), p.105-105

Oglesby, F. C

1965

Volltextzugriff (PDF)

Review: Burton Dreben, A. S. Kahr, Hao Wang, Classification of AEA Formulas by Letter Atoms

The Journal of symbolic logic, 1964, Vol.29 (iss. 2), p.101-101

Oglesby, F. C

1964

Volltextzugriff (PDF)

Truth Value Assignment in Predicate Calculus of First Order

The Journal of Symbolic Logic, 1966, Vol.31 (2), p.268-268

Oglesby, F. C.

1966

Volltextzugriff (PDF)

REVIEWS

The Journal of Symbolic Logic, 1966, Vol.31 (2), p.267-268

Oglesby, F. C.

1966

Volltextzugriff (PDF)

Distributive Normal Forms in First-Order Logic

The Journal of Symbolic Logic, 1966, Vol.31 (2), p.267-268

Oglesby, F. C.

1966

Volltextzugriff (PDF)

Reviews

The Journal of Symbolic Logic, 1966, Vol.31 (2), p.268-268

Oglesby, F. C.

1966

Volltextzugriff (PDF)

Wff 'n Proof. The Game of Modern Logic

The Journal of Symbolic Logic, 1965, Vol.30 (1), p.105-105

Oglesby, F. C.

1965

Volltextzugriff (PDF)

Menü

Weitere Dienste

Einstellungen

Mortality in patients admitted to intensive care with COVID‐19: an updated systematic review and meta‐analysis of observational studies

Litigation related to anaesthesia: analysis of claims against the NHS in England 2008–2018 and comparison against previous claim patterns

Patient characteristics, anaesthetic workload and techniques in the UK: an analysis from the 7th National Audit Project (NAP7) activity survey

Methods of the 7th National Audit Project (NAP7) of the Royal College of Anaesthetists: peri‐operative cardiac arrest

Peri-operative cardiac arrest in children as reported to the 7th National Audit Project of the Royal College of Anaesthetists

Peri-operative cardiac arrest: epidemiology and clinical features of patients analysed in the 7th National Audit Project of the Royal College of Anaesthetists

Methods of the 7 th National Audit Project (NAP7) of the Royal College of Anaesthetists: peri-operative cardiac arrest

The 7th National Audit Project ( NAP7 ) baseline survey of individual anaesthetists: preparedness for and experiences of peri‐operative cardiac arrest

Organisation of UK hospitals and anaesthetic departments in the treatment of peri‐operative cardiac arrest: an analysis from the 7th National Audit Project ( NAP7 ) local co‐ordinator baseline survey

The incidence of potentially serious complications during non-obstetric anaesthetic practice in the United Kingdom: an analysis from the 7th National Audit Project (NAP7) activity survey

Peri-operative cardiac arrest: management and outcomes of patients analysed in the 7th National Audit Project of the Royal College of Anaesthetists

Semi-Automated Mathematics

Setsuo Saito. Truth value assignment in predicate calculus of first order. Notre Dame journal of formal logic, vol. 4 no. 3 (1963), pp. 216–223

Layman E. Allen. Wff 'n proof. The game of modern logic. Wff 'n proof, New Haven, Conn., 1962, viii + 224 pp. - Layman E. Allen. Wff. The beginner's game of modern logic. Wff 'n proof, New Haven, Conn., 1963, 78 pp

Burton Dreben, A. S. Kahr, and Hao Wang. Classification of AEA formulas by letter atoms. Bulletin of the American Mathematical Society, vol. 68 (1962), pp. 528–532

Review: Jaakko Hintikka, J. N. Crossley, M. A. E. Dummett, Distributive Normal Forms in First-Order Logic; Jaakko Hintikka, Distributive Normal Forms and Deductive Interpolation

Review: Setsuo Saito, Truth Value Assignment in Predicate Calculus of First Order

Review: Layman E. Allen, Wff 'n Proof. The Game of Modern Logic; Layman E. Allen, Wff. The Beginner's Game of Modern Logic

Review: Burton Dreben, A. S. Kahr, Hao Wang, Classification of AEA Formulas by Letter Atoms

Truth Value Assignment in Predicate Calculus of First Order

REVIEWS

Distributive Normal Forms in First-Order Logic

Reviews

Wff 'n Proof. The Game of Modern Logic

Suchergebnisse filtern