Reports on Mathematical Logic No. 49
Edited by: Paweł M. Idziak, Andrzej Wroński
Pages: 120
Book format: B5
Publication date: 2014
Release date: 13.10.2014
Book description
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
Edited by
Paweł M. Idziak
, Andrzej Wroński
ISBN: ISSN 0137-2904
Country of producer: Poland
RECOMMENDED BOOKS
105.00
zł
84.00
zł
NEW BOOKS
Museum Queeries: Two-Spirit, Indigiqueer, and LGBTTQ* Interventions into Museums, Archives, and Curating
( Paperback with flaps )
61.95
zł
49.56
zł
Uwarunkowania ochrony dziedzictwa kulturowego – celuloidowego, prawnego, architektonicznego, muzealnego
( Paperback )
54.60
zł
43.68
zł
Reports on Mathematical Logic No. 49
TABLE OF CONTENTS
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
TABLE OF CONTENTS
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
Choose chapters to buy:
Order value:
0.00 zł