Entry Hermes:1965:TAGb 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
@Book{Hermes:1965:TAGb,
author = "Hans Hermes",
title = "Eine Termlogik mit Auswahloperator. ({German}) [{A}
term logic with selection operator]",
volume = "6",
publisher = pub-SV,
address = pub-SV:adr,
pages = "42",
year = "1965",
CODEN = "LNMAA2",
DOI = "https://doi.org/10.1007/978-3-540-36203-6",
ISBN = "3-540-04899-5 (paperback), 3-540-36203-7 (e-book)",
ISBN-13 = "978-3-540-04899-2 (paperback), 978-3-540-36203-6
(e-book)",
ISSN = "0075-8434 (print), 1617-9692 (electronic)",
ISSN-L = "0075-8434",
LCCN = "QA3 .L28 no. 6",
bibdate = "Tue May 6 14:51:03 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/lnm1960.bib",
series = ser-LECT-NOTES-MATH,
URL = "http://link.springer.com/book/10.1007/978-3-540-36203-6",
acknowledgement = ack-nhfb,
language = "German",
series-URL = "http://link.springer.com/bookseries/304",
}
Related entries
- 3-540-04899-5,
6(0)1,
6(0)4,
6(0)7,
6(0)10,
6(0)15,
6(0)17,
6(0)21,
6(0)23,
6(0)24,
6(0)26,
6(0)28,
6(0)35,
6(0)40,
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)21,
6(0)23,
6(0)24,
6(0)26,
6(0)28,
6(0)35,
6(0)40,
6(0)42,
6(0)47,
6(0)52,
6(0)i--iii
- 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)21,
6(0)23,
6(0)24,
6(0)26,
6(0)28,
6(0)35,
6(0)40,
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)21,
6(0)23,
6(0)24,
6(0)26,
6(0)28,
6(0)35,
6(0)40,
6(0)42,
6(0)47,
6(0)52,
6(0)i--iii
- Auswahloperator,
6(0)iii--55,
6(0)4,
6(0)7
- Eine,
1(0)13,
6(0)iii--55,
10(0)17
- 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)21,
6(0)23,
6(0)24,
6(0)26,
6(0)28,
6(0)35,
6(0)40,
6(0)42,
6(0)47,
6(0)52,
6(0)i--iii
- logic,
6(0)iii--55,
6(0)4,
6(0)7,
6(0)10,
18(0)6,
37(0)ix--176,
70(0)iii--331,
72(0)204,
72(0)237,
94(0)vi--79,
95(0)5
- operator,
6(0)iii--55,
6(0)4,
6(0)7,
8(0)24,
8(0)101,
8(0)130,
8(0)139,
31(0)62,
33(0)iii--110,
33(0)5,
33(0)21,
33(0)31,
33(0)45,
33(0)56,
33(0)61,
33(0)70,
33(0)75,
33(0)86,
33(0)102,
64(0)37,
68(0)vi--95,
68(0)36,
71(0)1,
73(0)19,
102(0)1,
102(0)29,
102(0)134,
102(0)287,
102(0)339,
103(0)101,
104(0)43,
104(0)80,
104(0)i--128,
105(0)vii--284,
109(0)148
- selection,
6(0)iii--55,
6(0)4,
6(0)7
- term,
6(0)iii--55,
6(0)7,
6(0)10,
6(0)17,
6(0)24,
6(0)35,
6(0)52,
65(0)1,
65(0)65
- Termlogik,
6(0)iii--55,
6(0)7,
6(0)10,
6(0)17