Reports on Mathematical Logic No. 49
Redakcja: Paweł M. Idziak, Andrzej Wroński
Liczba stron: 120
Format: B5
Rok wydania: 2014
Data premiery: 13.10.2014
Opis książki
Reports on Mathematical Logic is a journal aimed at publishing quality research papers on mathematical logic and foundations of mathematics’.
Content:
ISSN 0137-2904, e-ISSN 2084-2589
Content:
- AN EIGHT-VALUED PRACONSISTENT LOGIC / Norihiro Kamide
- SOME FRAGMENTS OF SECOND-ORDER LOGIC OVER THE REALS FOR WHICH SATISFIABILITY AND EQUIVALENCE ARE (UN)DECIDABLE / Rafael Grimson,Bart Kuijpers
- ON ORDERED MINIMAL STRUCTURES / Grzegorz Jagiella,Ludomir Newelski
- HILBERT ALGEBRAS WITH A NECESSITY MODAL OPERATOR / Sergio A. Celani, Daniela Montangie
- RECURSIVELY ENUMERABLE SETS AND WELL-ORDERING OF THEIR ENUMERATIONS / Jerzy Mycka
- COMPLEXITY OF COVER-PRESERVING EMBEDDINGS OF BIPARTITE ORDERS INTO BOOLEAN LATTICES / Grzegorz Herman
ISSN 0137-2904, e-ISSN 2084-2589
Język publikacji
Angielski / English
Redakcja
Paweł M. Idziak
, Andrzej Wroński
ISBN: ISSN 0137-2904
Kraj pochodzenia producenta: Polska
POLECANE KSIĄŻKI
NOWOŚCI
Rytm wszechświata ujawniony w słowie (Ритм вселенной, в слове явленный - о поэзии Велимира Хлебникова и Михайля Семенко)
( Oprawa twarda )
51,45
zł
41,16
zł
Współczesna myśl translatologiczna w krajach niemieckojęzycznych
( Oprawa miękka ze skrzydełkami )
51,45
zł
41,16
zł
Konstruowanie kursu języka biznesu dla studentów filologii rosyjskiej
( Oprawa twarda )
51,45
zł
41,16
zł
Jak trauma i poczucie bezpieczeństwa wpływają na nasze życie
( Oprawa miękka ze skrzydełkami )
55,99
zł
44,79
zł
Rachunkowość zarządcza i rachunek kosztów w teorii i studiach przypadków
( Oprawa miękka )
51,45
zł
41,16
zł
Reports on Mathematical Logic No. 49
SPIS TREŚCI
Content:
- AN EIGHT-VALUED PRACONSISTENT LOGIC / Norihiro Kamide
- SOME FRAGMENTS OF SECOND-ORDER LOGIC OVER THE REALS FOR WHICH SATISFIABILITY AND EQUIVALENCE ARE (UN)DECIDABLE / Rafael Grimson,Bart Kuijpers
- ON ORDERED MINIMAL STRUCTURES / Grzegorz Jagiella,Ludomir Newelski
- HILBERT ALGEBRAS WITH A NECESSITY MODAL OPERATOR / Sergio A. Celani, Daniela Montangie
- RECURSIVELY ENUMERABLE SETS AND WELL-ORDERING OF THEIR ENUMERATIONS / Jerzy Mycka
- COMPLEXITY OF COVER-PRESERVING EMBEDDINGS OF BIPARTITE ORDERS INTO BOOLEAN LATTICES / Grzegorz Herman
Reports on Mathematical Logic No. 49
SPIS TREŚCI
Content:
- AN EIGHT-VALUED PRACONSISTENT LOGIC / Norihiro Kamide
- SOME FRAGMENTS OF SECOND-ORDER LOGIC OVER THE REALS FOR WHICH SATISFIABILITY AND EQUIVALENCE ARE (UN)DECIDABLE / Rafael Grimson,Bart Kuijpers
- ON ORDERED MINIMAL STRUCTURES / Grzegorz Jagiella,Ludomir Newelski
- HILBERT ALGEBRAS WITH A NECESSITY MODAL OPERATOR / Sergio A. Celani, Daniela Montangie
- RECURSIVELY ENUMERABLE SETS AND WELL-ORDERING OF THEIR ENUMERATIONS / Jerzy Mycka
- COMPLEXITY OF COVER-PRESERVING EMBEDDINGS OF BIPARTITE ORDERS INTO BOOLEAN LATTICES / Grzegorz Herman
Wybierz rozdziały:
Wartość zamówienia:
0.00 zł