SOWA OPAC : Library Catalogue

7 results

No cover

Book

In basket

Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic / Evert W. Beth. - Dordrecht : D. Reidel Publishing Company, 1962. - XIV, 170 s. : il. ; 23 cm.

(Synthese Library ; 4)

Author

Beth Evert Willem (1908-1964).

Subject

Logika matematyczna

Bibliogr. s. 164-167.

available to loan

This item is available in one branch. Expand information to see details.

Wypożyczalnia

There are copies available to loan: sygn. 36301 (1 egz.)

No cover

Book

In basket

A Precis of mathematical logic / J. M. Bocheński ; transl. from the French and German ed. by Otto Bird. - Dordrecht : D. Reidel Publishing Company, cop. 1959. - [10], 100 s. : il. ; 23 cm.

(Synthese Library)

Author

Bocheński Józef Maria. (1902-1995). Bird Otto A. (1914-2009). Tł.

Subject

Logika matematyczna

Genre/Form

Podręcznik

Bibliogr. s. 94-100.

available only on site

This item is available in one branch. Expand information to see details.

Magazyn

Copies are only available in the library: sygn. 36278 (1 egz.)

No cover

Book

In basket

Solar radiation data : proceedings of the EC Contractors' Meeting held in Brussels, 20 November 1981 / ed. by W. Palz. - Dordrecht [etc.] : D. Reidel Publishing Company, cop. 1982. - VI, 143 s. : il. ; 24 cm.

(Solar Energy R&D in the European Community. Series F, Solar Radiation Data ; vol. 1)

Form of Work

Książki

Subject

Promieniowanie słoneczne

Bibliogr. przy ref.

available to loan

This item is available in one branch. Expand information to see details.

Wypożyczalnia

There are copies available to loan: sygn. Z 3902 (1 egz.)

No cover

Book

In basket

Approximation theory : proceedings of the conference jointly organized by the Mathematical Institute of the Polish Academy of Sciences and the Institute of Mathematics of the Adam Mickiewicz University, held in Poznań, 22-26 August, 1972 / ed. by Zbigniew Ciesielski and Julian Musielak. - Warszawa : PWN-Polish Scientific Publishers ; Dordreht ; Boston : D. Reidel Publishing Company, cop. 1975. - XII, 289 s. ; 23 cm.

Author

Ciesielski Zbigniew (1934- ). Red. Musielak Julian (1928- ). Red.

Subject

Aproksymacja

Genre/Form

Materiały konferencyjne

Conference on Approximation Theory held in Poznań, August 22-26, 1972, was organized jointly by the Mathematical Institute of the Polish Academy of Sciences and the Institute of Mathematics of the Adam Mickiewicz University.

Bibliogr. przy ref.

available to loan

This item is available in one branch. Expand information to see details.

Wypożyczalnia

There are copies available to loan: sygn. 45504 (1 egz.)

Book

In basket

Fourier transformation and linear differential equations / Zofia Szmydt ; transl. from the Polish by Marcin E. Kuczma. - Warszawa : PWN-Polish Scientific Publishers ; Dordrecht : D. Reidel Publishing Company, 1977. - XIX, [1], 502, [1] s. ; 23 cm.

Author

Szmydt Zofia (1923-2010). Kuczma Marcin Emil. Tł.

Subject

Równania różniczkowe

Bibliogr. s. 484-486. Indeksy.

available to loan

This item is available in one branch. Expand information to see details.

Wypożyczalnia

There are copies available to loan: sygn. 52761 (1 egz.)

Book

In basket

Praxiological studies : Polish contributions to the science of officient action / ed. by Wojciech Gasparski and Tadeusz Pszczołowski. - Warszawa : PWN [Państwowe Wydawnictwo Naukowe] - Polish Scientific Publishers ; Dordrecht [etc.] : D. Reidel Publishing Company, cop. 1983. - XIV, 418 s. : il., err. ; 23 cm.

Author

Gasparski Wojciech (1936- ). Red. Pszczołowski Tadeusz (1922-1999). Red.

Subject

Prakseologia

Bibliogr. s. 393-402 oraz przy niektórych rozdz. Indeksy.

available to loan

This item is available in one branch. Expand information to see details.

Wypożyczalnia

There are copies available to loan: sygn. 66942 (1 egz.)

No cover

Book

In basket

Algebraic analysis / Danuta Przeworska-Rolewicz. - Warszawa : PWN [Państ. Wydaw. Naukowe] ; Dordrecht [etc.] : D. Reidel Publishing Company Polish Scientific Publ, 1988. - XVI, 624 s. : il. ; 24 cm.

Author

Przeworska-Rolewicz Danuta.

Subject

Analiza matematyczna

Bibliogr. s. 588-602. Indeks.

available to loan

This item is available in one branch. Expand information to see details.

Wypożyczalnia

There are copies available to loan: sygn. 76135 (1 egz.)