Entry Hermes:1965:GKR from lnm1960.bib
Last update: Sat Mar 2 02:18:53 MST 2019
Top |
Symbols |
Math |
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
P |
Q |
R |
S |
T |
U |
V |
W |
Y |
Z
BibTeX entry
@Article{Hermes:1965:GKR,
author = "Hans Hermes",
title = "{Gleichwertigkeit von {$ \Vdash $} und $ \vdash $.
Korrektheit der Regeln}. ({German}) [{Equivalence} of
{$ \Vdash $} and $ \vdash $. {Correctness} of the
rules]",
journal = j-LECT-NOTES-MATH,
volume = "6",
pages = "21--22",
year = "1965",
CODEN = "LNMAA2",
DOI = "https://doi.org/10.1007/978-3-540-36203-6_7;
https://doi.org/10.1007/BFb0097728",
ISBN = "3-540-04899-5 (print), 3-540-36203-7 (e-book),
3-540-03350-5 (print), 3-540-69980-5 (e-book)",
ISBN-13 = "978-3-540-04899-2 (print), 978-3-540-36203-6 (e-book),
978-3-540-03350-9 (print), 978-3-540-69980-4 (e-book)",
ISSN = "0075-8434 (print), 1617-9692 (electronic)",
ISSN-L = "0075-8434",
bibdate = "Thu May 8 17:39:14 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/lnm1960.bib",
URL = "http://link.springer.com/chapter/10.1007/978-3-540-36203-6_7;
http://link.springer.com/chapter/10.1007/BFb0097728",
acknowledgement = ack-nhfb,
book-DOI = "https://doi.org/10.1007/978-3-540-36203-6;
https://doi.org/10.1007/BFb0097721",
book-URL = "http://www.springerlink.com/content/978-3-540-36203-6;
http://www.springerlink.com/content/978-3-540-69980-4",
fjournal = "Lecture Notes in Mathematics",
journal-URL = "http://link.springer.com/bookseries/304",
language = "German",
}
Related entries
- 3-540-03350-5,
6(0)iii--55,
6(0)1,
6(0)4,
6(0)7,
6(0)10,
6(0)15,
6(0)17,
6(0)23,
6(0)24,
6(0)26,
6(0)28,
6(0)35
- 3-540-04899-5,
6(0)1,
6(0)4,
6(0)7,
6(0)10,
6(0)15,
6(0)17,
6(0)23,
6(0)24,
6(0)26,
6(0)28,
6(0)35,
6(0)40,
6(0)42,
6(0)42,
6(0)47,
6(0)52,
6(0)i--iii
- 3-540-36203-7,
6(0)1,
6(0)4,
6(0)7,
6(0)10,
6(0)15,
6(0)17,
6(0)23,
6(0)24,
6(0)26,
6(0)28,
6(0)35,
6(0)40,
6(0)42,
6(0)42,
6(0)47,
6(0)52,
6(0)i--iii
- 3-540-69980-5,
6(0)iii--55,
6(0)1,
6(0)4,
6(0)7,
6(0)10,
6(0)15,
6(0)17,
6(0)23,
6(0)24,
6(0)26,
6(0)28,
6(0)35
- 978-3-540-03350-9,
6(0)iii--55,
6(0)1,
6(0)4,
6(0)7,
6(0)10,
6(0)15,
6(0)17,
6(0)23,
6(0)24,
6(0)26,
6(0)28,
6(0)35
- 978-3-540-04899-2,
6(0)1,
6(0)4,
6(0)7,
6(0)10,
6(0)15,
6(0)17,
6(0)23,
6(0)24,
6(0)26,
6(0)28,
6(0)35,
6(0)40,
6(0)42,
6(0)42,
6(0)47,
6(0)52,
6(0)i--iii
- 978-3-540-36203-6,
6(0)1,
6(0)4,
6(0)7,
6(0)10,
6(0)15,
6(0)17,
6(0)23,
6(0)24,
6(0)26,
6(0)28,
6(0)35,
6(0)40,
6(0)42,
6(0)42,
6(0)47,
6(0)52,
6(0)i--iii
- 978-3-540-69980-4,
6(0)iii--55,
6(0)1,
6(0)4,
6(0)7,
6(0)10,
6(0)15,
6(0)17,
6(0)23,
6(0)24,
6(0)26,
6(0)28,
6(0)35
- equivalence,
4(0)26,
4(0)27,
60(0)26,
70(0)241
- Hermes, Hans,
6(0)iii--55,
6(0)1,
6(0)4,
6(0)7,
6(0)10,
6(0)15,
6(0)17,
6(0)23,
6(0)24,
6(0)26,
6(0)28,
6(0)35,
6(0)40,
6(0)42,
6(0)42,
6(0)47,
6(0)52,
6(0)i--iii
- rules,
70(0)303