|
|
|
|
| LEADER |
00000cam a2200000Ma 4500 |
| 001 |
11217290 |
| 005 |
20210426223500.4 |
| 006 |
m o d |
| 007 |
cr cn||||||||| |
| 008 |
071019s2008 ne a ob 011 0deng d |
| 010 |
|
|
|z 2007939570
|
| 019 |
|
|
|a 275169353
|a 437212158
|a 476162591
|a 491262585
|a 961529366
|a 962628780
|a 966220656
|a 991920397
|a 1037741371
|a 1038697234
|a 1045503433
|a 1055315754
|a 1058084148
|a 1062893358
|a 1081273826
|a 1097158058
|
| 020 |
|
|
|a 9781435677807
|q (electronic bk.)
|
| 020 |
|
|
|a 1435677803
|q (electronic bk.)
|
| 020 |
|
|
|a 9781607502722
|
| 020 |
|
|
|a 1607502720
|
| 020 |
|
|
|a 9781433712265
|q (electronic bk.)
|
| 020 |
|
|
|a 1433712261
|q (electronic bk.)
|
| 020 |
|
|
|z 158603782X
|
| 020 |
|
|
|z 9781586037826
|
| 035 |
|
|
|a (OCoLC)646750826
|z (OCoLC)275169353
|z (OCoLC)437212158
|z (OCoLC)476162591
|z (OCoLC)491262585
|z (OCoLC)961529366
|z (OCoLC)962628780
|z (OCoLC)966220656
|z (OCoLC)991920397
|z (OCoLC)1037741371
|z (OCoLC)1038697234
|z (OCoLC)1045503433
|z (OCoLC)1055315754
|z (OCoLC)1058084148
|z (OCoLC)1062893358
|z (OCoLC)1081273826
|z (OCoLC)1097158058
|
| 035 |
|
9 |
|a (OCLCCM-CC)646750826
|
| 037 |
|
|
|a 978-1-58603-782-6
|b IOS Press
|n http://www.iospress.nl
|
| 040 |
|
|
|a E7B
|b eng
|e pn
|c E7B
|d OCLCQ
|d N$T
|d IOSPR
|d YDXCP
|d IDEBK
|d OCLCA
|d OCLCQ
|d OCLCO
|d DKDLA
|d OCLCQ
|d OCLCF
|d OCLCO
|d EBLCP
|d MERUC
|d DEBSZ
|d OCLCO
|d OCLCQ
|d OCLCO
|d OCLCQ
|d OCLCO
|d AZK
|d OCLCO
|d LOA
|d COCUF
|d AGLDB
|d PIFAG
|d ZCU
|d OCLCA
|d OCLCQ
|d U3W
|d STF
|d WRM
|d OCLCQ
|d VTS
|d NRAMU
|d ICG
|d INT
|d VT2
|d OCLCQ
|d OCLCO
|d WYU
|d OCLCQ
|d DKC
|d OCLCQ
|d M8D
|d OCL
|d OCLCQ
|d OCLCO
|d AU@
|d AJS
|
| 043 |
|
|
|a e-pl---
|
| 049 |
|
|
|a MAIN
|
| 050 |
|
4 |
|a QA29.M67
|b A53 2008eb
|
| 072 |
|
7 |
|a COM
|x MAT000000
|2 bisacsh
|
| 245 |
0 |
0 |
|a Andrzej Mostowski and foundational studies /
|c edited by A. Ehrenfeucht, V.W. Marek and M. Srebrny.
|
| 260 |
|
|
|a Amsterdam ;
|a Washington, D.C. :
|b Ios Press,
|c ©2008.
|
| 300 |
|
|
|a 1 online resource (xi, 447 pages) :
|b illustrations
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 347 |
|
|
|a data file
|2 rda
|
| 504 |
|
|
|a Includes bibliographical references and indexes.
|
| 505 |
0 |
0 |
|t On the life and work of Andrzej Mostowski (1913-1975) /
|r Stanisław Krajewski and Marian Srebrny --
|t Mathematical logic in Warsaw in the 60's and 70's, or The interaction of logic and life /
|r Victor W. Marek --
|t Mathematical logic in Warsaw: 1918-1939 /
|r Jan Woleński --
|t Three-valued logic of quadratic form theory over real rings /
|r Max Dickmann and Alejandro Petrovich --
|t Remarks on Gödel phenomena and the field of reals /
|r Harvey M. Friedman --
|t Undecidability and concatenation /
|r Andrzej Grzegorczyk and Konrad Zdanowski --
|t Witness quantifiers and 0-1 laws /
|r Wojciech Guzicki and Michał Krynicki --
|t Logic for artificial intelligence: a Rasiowa-Pawlak school perspective /
|r Andrzej Jankowski and Andrzej Skowron --
|t Contributions to the theory of weakly distributive complete Boolean algebras /
|r Bohuslav Balcar and Thomas Jech --
|t Quantifiers in limits /
|r H. Jerome Keisler --
|t Kleene-Mostowski hierarchy and the Davis-Mostowski hierarchy /
|r Julia F. Knight --
|t Model theoretic approach to proof theory of arithmetic /
|r Henryk Kotlarski --
|t Towards decidability of the theory of pseudo-finite dimensional representations of sl2(k);I /
|r Sonia L'Innocente and Angus MacIntyre --
|t Encounters with A. Mostowski /
|r J.A. Makowsky --
|t Observations on truth, consistency and lengths of proofs /
|r Jan Mycielski --
|t Algebraic interpretation of quantifiers: intuitionistic and classical /
|r Dana S. Scott --
|t Abstracting and generalizing pseudorecursiveness /
|r Benjamin Wells --
|t Andrzej Mostowski on the foundations and philosophy of mathematics /
|r Roman Murawski and Jan Woleński --
|t Bibliography of Andrzej Mostowski /
|r Jan Zygmunt --
|t Warsaw 1957: memories of Mostowski /
|r J.W. Addison --
|t Andrzej Mostowski: my master in mathematics /
|r Andrzej Jacek Blikle --
|t Our reminiscences of Andrzej Mostowski /
|r Emilio del Solar and Max Dickmann --
|t Andrzej Mostowski: an appreciation /
|r Solomon Feferman --
|t Andrzej Mostowski as teacher and editor /
|r Einar H. Fredriksson --
|t Mostowski and Czech-Polish cooperation in mathematical logic /
|r P. Hájek, V.W. Marek and P. Vopěnka --
|t Reminiscences of Warsaw and logic, 1964 /
|r Peter G. Hinman --
|t From mathematical logic, to natural language, artificial intelligence, and human thinking: a short essay in honour of Andrzej Mostowski /
|r Robert Kowalski --
|t Very personal recollection /
|r Hidemitsu Sayeki --
|t Prince of logic /
|r Benjamin Wells --
|t Remembrances of Professor Andrzej Mostowski /
|r Kazimierz Wiśniewski.
|
| 588 |
0 |
|
|a Print version record.
|
| 520 |
|
|
|a Andrzej Mostowski was one of the leading 20th century logicians. This volume examines his legacy, devoted both to his scientific heritage and to the memory of him as a great researcher, teacher, organizer of science and person. It includes the bibliography of Mostowski's writings.
|
| 600 |
1 |
0 |
|a Mostowski, Andrzej.
|
| 600 |
1 |
7 |
|a Mostowski, Andrzej.
|2 fast
|0 (OCoLC)fst00001747
|
| 650 |
|
0 |
|a Logic, Symbolic and mathematical.
|0 http://id.loc.gov/authorities/subjects/sh85078115
|
| 650 |
|
0 |
|a Mathematical analysis
|x Foundations.
|0 http://id.loc.gov/authorities/subjects/sh85082117
|
| 650 |
|
0 |
|a Logicians
|z Poland
|v Biography.
|
| 650 |
|
0 |
|a Mathematicians
|z Poland
|v Biography.
|
| 650 |
|
7 |
|a MATHEMATICS
|x Pre-Calculus.
|2 bisacsh
|
| 650 |
|
7 |
|a MATHEMATICS
|x Reference.
|2 bisacsh
|
| 650 |
|
7 |
|a MATHEMATICS
|x Essays.
|2 bisacsh
|
| 650 |
|
7 |
|a Logic, Symbolic and mathematical.
|2 fast
|0 (OCoLC)fst01002068
|
| 650 |
|
7 |
|a Logicians.
|2 fast
|0 (OCoLC)fst01002081
|
| 650 |
|
7 |
|a Mathematical analysis
|x Foundations.
|2 fast
|0 (OCoLC)fst01012071
|
| 650 |
|
7 |
|a Mathematicians.
|2 fast
|0 (OCoLC)fst01012154
|
| 651 |
|
7 |
|a Poland.
|2 fast
|0 (OCoLC)fst01206891
|
| 655 |
|
0 |
|a Electronic books.
|
| 655 |
|
4 |
|a Electronic books.
|
| 655 |
|
7 |
|a Biographies.
|2 fast
|0 (OCoLC)fst01919896
|
| 700 |
1 |
|
|a Mostowski, Andrzej.
|
| 700 |
1 |
|
|a Ehrenfeucht, Andrzej.
|0 http://id.loc.gov/authorities/names/n95119816
|
| 700 |
1 |
|
|a Marek, V. W.
|q (V. Wiktor),
|d 1943-
|
| 700 |
1 |
|
|a Srebrny, Marian,
|d 1947-
|0 http://id.loc.gov/authorities/names/n84009670
|
| 776 |
0 |
8 |
|i Print version:
|t Andrzej Mostowski and foundational studies.
|d Amsterdam ; Washington, D.C. : Ios Press, ©2008
|w (DLC) 2007939570
|
| 903 |
|
|
|a HeVa
|
| 929 |
|
|
|a oclccm
|
| 999 |
f |
f |
|i 34424086-b11e-5467-b208-db51146efd03
|s 0d14849f-478c-5570-8ef6-d0097adb50a3
|
| 928 |
|
|
|t Library of Congress classification
|a QA29.M67 A53 2008eb
|l Online
|c UC-FullText
|u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=e000xna&AN=244447
|z eBooks on EBSCOhost
|g ebooks
|i 12285601
|
