Studies in Logic and the Foundations of Mathematics - Foundational Studies - Selected Works
Latest Publications

TOTAL DOCUMENTS

49

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Elsevier

9780444851031

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Advisory Editorial Board

Studies in Logic and the Foundations of Mathematics - Foundational Studies - Selected Works ◽

10.1016/s0049-237x(09)70240-x ◽

1979 ◽

pp. ii

Download Full-text

A Remark on Models of the Gödel-Bernays Axioms for Set Theory

Studies in Logic and the Foundations of Mathematics - Foundational Studies - Selected Works ◽

10.1016/s0049-237x(09)70288-5 ◽

1979 ◽

pp. 590-605 ◽

Author(s):

Andrzej Mostowski

Keyword(s):

Download Full-text

A Contribution To Teratology

Studies in Logic and the Foundations of Mathematics - Foundational Studies - Selected Works ◽

10.1016/s0049-237x(09)70287-3 ◽

1979 ◽

pp. 577-589

Download Full-text

The Hilbert Epsilon Function in Many-Valued Logics

Studies in Logic and the Foundations of Mathematics - Foundational Studies - Selected Works ◽

10.1016/s0049-237x(09)70280-0 ◽

1979 ◽

pp. 494-513

Author(s):

Andrzej Mostowski

Download Full-text

A proof of Herbrand's theorem

Studies in Logic and the Foundations of Mathematics - Foundational Studies - Selected Works ◽

10.1016/s0049-237x(09)70263-0 ◽

1979 ◽

pp. 292-297

Author(s):

J. Toś ◽

A. Mostowski ◽

H. Rasiowa

Keyword(s):

Herbrand’S Theorem ◽

Herbrand's Theorem

Download Full-text

On A Set of Integers not Definable by Means of One-Quantifier Predicates

Studies in Logic and the Foundations of Mathematics - Foundational Studies - Selected Works ◽

10.1016/s0049-237x(09)70253-8 ◽

1979 ◽

pp. 142-148

Author(s):

Andrzej Mostowski

Download Full-text

Copyright page

Studies in Logic and the Foundations of Mathematics - Foundational Studies - Selected Works ◽

10.1016/s0049-237x(09)70242-3 ◽

1979 ◽

pp. iv

Download Full-text

A formula with no recursively enumerable model

Studies in Logic and the Foundations of Mathematics - Foundational Studies - Selected Works ◽

10.1016/s0049-237x(09)70260-5 ◽

1979 ◽

pp. 259-274

Author(s):

A. Mostowski

Keyword(s):

Recursively Enumerable

Download Full-text

A generalization of a theorem of M. Deuring

Studies in Logic and the Foundations of Mathematics - Foundational Studies - Selected Works ◽

10.1016/s0049-237x(09)70264-2 ◽

1979 ◽

pp. 298-305

Author(s):

Andrzej Mostowski

Download Full-text

Editorial Note

Studies in Logic and the Foundations of Mathematics - Foundational Studies - Selected Works ◽

10.1016/s0049-237x(09)70243-5 ◽

1979 ◽

pp. vii-viii

Keyword(s):

Download Full-text