• Skip to main menu
• Skip to search engine
• Skip to content
• Skip to footer

• Search in all Repository
• Literature and maps
• Archeology
• Mills database
• Natural sciences

Search in Repository

Search field Search

How to search... Advanced search

Advanced search

Close

All fields Search in content Name/Title Geographical location Relation Subject and Keywords

A.D. B.C.

A.D. B.C.

and or

Name/Title Geographical location Relation Subject and Keywords

A.D. B.C.

A.D. B.C.

$res['SimpleSearchComponent.RemoveBtn']

Add query element

Object contains the geographical coordinates

How to search...

Search

Search in Literature and maps

Search field Search

How to search... Advanced search

Advanced search

Close

All fields Search in content Title Relation Author/Creator Subject and Keywords Publisher Publishing date Spatial coverage

A.D. B.C.

A.D. B.C.

and or

Title Relation Author/Creator Subject and Keywords Publisher Publishing date Spatial coverage

A.D. B.C.

A.D. B.C.

$res['SimpleSearchComponent.RemoveBtn']

Add query element

Object contains the geographical coordinates

How to search...

Search

Search in Archeology

Search field Search

How to search... Advanced search

Advanced search

Close

All fields Search in content Name Localisation Object type Research Manager/ Creator of Collection Chronology Relation Characteristics of the object- raw material Accession number

A.D. B.C.

A.D. B.C.

and or

Name Localisation Object type Research Manager/ Creator of Collection Chronology Relation Characteristics of the object- raw material Accession number

A.D. B.C.

A.D. B.C.

$res['SimpleSearchComponent.RemoveBtn']

Add query element

Object contains the geographical coordinates

How to search...

Search

Search in Mills database

Search field Search

How to search... Advanced search

Advanced search

Close

All fields Search in content Unified name Localisation Object type

A.D. B.C.

A.D. B.C.

and or

Unified name Localisation Object type

A.D. B.C.

A.D. B.C.

$res['SimpleSearchComponent.RemoveBtn']

Add query element

Object contains the geographical coordinates

How to search...

Search

Search in Natural sciences

Search field Search

How to search... Advanced search

Advanced search

Close

All fields Search in content Herbarium acronym catalogNumber/barcode Supra-generic category Latin name Polish name Localisation Collection date Collector/ Recorded by Type

A.D. B.C.

A.D. B.C.

and or

Herbarium acronym catalogNumber/barcode Supra-generic category Latin name Polish name Localisation Collection date Collector/ Recorded by Type

A.D. B.C.

A.D. B.C.

$res['SimpleSearchComponent.RemoveBtn']

Add query element

Nomenclature type

Object contains the geographical coordinates

How to search...

Search

Secured publication

Sending declined. Incorrect text from the image.

Sending declined. reCAPTCHA verification has failed.

This publication is unavailable to your account. If you have more privileged account please try to use it or contact with the institution connected to this digital library.

Type your email^* Type your reason^*

Enter the text above. ^*

Cancel Send

Object

Download bibliography description

• ris
• BibTeX
• EndNote
• Csv

• pl en

Subscribtion state has been changed.

Error while changing subscribtion state.

Access Limited

• Show content

Download

This publication is protected by copyright. Access to its digital version is possible on computer terminals in the institution that shares it.

This publication is protected by copyright. Access to its digital version is possible on computer terminals in the institution that shares it.

• Description
• Information
• Structure

Title: Gentzen-type semantics for v-valued infinitary predicate calculi

Creator:

Przymusińska, Halina

Date issued/created:

1980

Resource type:

Tekst

More

Subtitle:

Série des Sciences Mathématiques ; Bulletin de lʾAcadémie Polonaise. Série des Sciences Mathématiques

Contributor:

Polska Akademia Nauk. ; Państwowe Wydawnictwo Naukowe (1951–1992)

Publisher:

Państwowe Wydawnictwo Naukowe

Place of publishing:

Varsovie

Description:

Tekst w jęz. angielskim ; Streszczenie w jęz. rosyjskim ; 23 cm

Type of object:

Czasopismo/Artykuł

Volume:

28

Issue:

5-6

Start page:

203

End page:

206

Format:

application/pdf

Resource Identifier:

oai:rcin.org.pl:62678

Source:

click here to follow the link ; IM PAN, sygn. cz331

Language:

eng

Language of abstract:

rus

Rights:

Prawa zastrzeżone - dostęp ograniczony

Terms of use:

Zasób chroniony prawem autorskim. Korzystanie dozwolone wyłącznie na terminalach Instytutu Matematycznego PAN w zakresie określonym przez przepisy o dozwolonym użytku.

Digitizing institution:

Instytut Matematyczny Polskiej Akademii Nauk

Original in:

Centralna Biblioteka Matematyczna Instytutu Matematycznego PAN

Projects co-financed by:

Program Operacyjny Innowacyjna Gospodarka, lata 2010-2014, Priorytet 2. Infrastruktura strefy B + R ; Unia Europejska. Europejski Fundusz Rozwoju Regionalnego

Access:

Zamknięty

Subject and keywords:

Matematyka -- czasopisma. [KABA]

Object collections:

• Digital Repository of Scientific Institutes > Partners' collections > Institute of Mathematics PAS > Periodicals
• Digital Repository of Scientific Institutes > Literature > Journals/Articles

Last modified:

Jan 5, 2022

In our library since:

May 26, 2017

Number of object content downloads / hits:

32

All available object's versions:

https://rcin.org.pl./publication/82276

Show description in RDF format:

RDF

Show description in RDFa format:

RDFa

Show description in OAI-PMH format:

OAI-PMH

• Bulletin of the Polish Academy of Sciences / Bulletin de lʾAcadémie Polonaise
  • Bulletin de l'Académie Polonaise des Sciences, Classe 3, 1953-1957
  • Bulletin de lʾAcadémie Polonaise des Sciences. Série des Sciences Mathématiques, Astronomiques et Physiques, 1958-1978
  • Bulletin de lʾAcademie Polonaise des Sciences. Série des Sciences Mathématiques, 1979-1982
    • Bulletin de lʾAcademie Polonaise des Sciences. Série des Sciences Mathématiques T. 27 (1979)
    • Bulletin de lʾAcademie Polonaise des Sciences. Série des Sciences Mathématiques T. 28 (1980)
      • Bulletin de lʾAcademie Polonaise des Sciences. Série des Sciences Mathématiques T. 28 z.1-2 (1980)
      • Bulletin de lʾAcademie Polonaise des Sciences. Série des Sciences Mathématiques T. 28 z. 3-4 (1980)
      • Bulletin de lʾAcademie Polonaise des Sciences. Série des Sciences Mathématiques T. 28 z. 5-6 (1980)
        • Przymusińska, Halina, 1980, On v-valued infinitary predicate calculi
        • Przymusińska, Halina, 1980, Some results concerning v-valued infinitary predicate calculi
        • Przymusińska, Halina, 1980, Gentzen-type semantics for v-valued infinitary predicate calculi
        • Przymusińska, Halina, 1980, Craig interpolation theorem and Hanf number for v-valued infinitary predicate calculi
        • Kossak, Roman, 1980, An application of definable types of Peano's arithmetic
        • Ciesielski, Krzysztof, 1980, Generalized threshold logic
        • Grzegorek, Edward, 1980, A remark on absolutely measurable sets
        • Baksalary, Jerzy K., 1980, Two properties of a nonnegative definite matrix
        • Wojtyński, Wojciech, 1980, Associative algebras generated by Lie algebras of compact operators
        • Puczyłowski, Edmund R., 1980, On radicals of tensor products
        • Krempa, Jan, 1980, Semilocal, semiperfect and perfect tensor products
        • Sawoń, Zbigniew, 1980, Maximal subalgebras of algebra C(X)
        • Sawoń, Zbigniew, 1980, Arens-Singer measures in uniform banach algebras
        • Luu, Dinh Quang, 1980, On the Radon-Nikodym property in Banach spaces
        • Ewert, Janina, 1980, Homotopical properties and the topological degree for γ-contraction vector fields
        • Górniewicz, Lech (1941- ), 1980, On the set of solutions of the Darboux problem for some hyperbolic equations
        • Borsuk, Karol (1905-1982), 1980, On shape-regularity of several locally connected continua
        • Balcar, Bohuslav (1943- ), 1980, More on nowhere dense closed P-sets
        • Bashkirov, Aleksandr I., 1980, On Fréchet compactifications of discrete spaces
        • Kirkor, Andrzej, 1980, A characterization of unknotted θ-curves of order n
      • Bulletin de lʾAcademie Polonaise des Sciences. Série des Sciences Mathématiques T. 28 z. 7-8 (1980)
      • Bulletin de lʾAcademie Polonaise des Sciences. Série des Sciences Mathématiques T. 28 z. 9-10 (1980)
      • Bulletin de lʾAcademie Polonaise des Sciences. Série des Sciences Mathématiques T. 28 z. 11-12 (1980)
      • 1980, Spis treści i dodatki
    • Bulletin de lʾAcademie Polonaise des Sciences. Série des Sciences Mathématiques T. 29 (1981)
    • Bulletin de lʾAcademie Polonaise des Sciences. Série des Sciences Mathématiques T. 30 (1982)
  • Bulletin of the Polish Academy of Sciences. Mathematics, 1983-2003
  • Bulletin of the Polish Academy of Sciences. Mathematics, 2022-2023
  • Bulletin of the Polish Academy of Sciences. Mathematics, 2022-2023

Edition name	Date
Przymusińska, Halina, 1980, Gentzen-type semantics for v-valued infinitary predicate calculi	Jan 5, 2022

Objects Similar

Craig interpolation theorem and Hanf number for v-valued infinitary predicate calculi

Przymusińska, Halina

1980

Czasopismo/Artykuł

• ris
• BibTeX

Some results concerning v-valued infinitary predicate calculi

Przymusińska, Halina

1980

Czasopismo/Artykuł

• ris
• BibTeX

On v-valued infinitary predicate calculi

Przymusińska, Halina

1980

Czasopismo/Artykuł

• ris
• BibTeX

Annales Polonici Mathematici

1963

Czasopismo/Artykuł

• ris
• BibTeX

Bulletin of the Polish Academy of Sciences. Mathematics.

1988

Czasopismo/Artykuł

• ris
• BibTeX

Bulletin of the Polish Academy of Sciences. Mathematics.

1997

Czasopismo/Artykuł

• ris
• BibTeX

Annales Polonici Mathematici

1966

Czasopismo/Artykuł

• ris
• BibTeX

Annales Polonici Mathematici

1964-1965

Czasopismo/Artykuł

• ris
• BibTeX

More

similar in FBC

More in FBC