Aussagenlogik und Beweisverfahren

Freund, Helmut

Kurzformat

Aussagenlogik und Beweisverfahren / von H. Freund und P. Sorger - Zürich , 1975

136 p. : ill. ; 21 cm

LEADER	00000nam a2200000 c 4500
001	991098804729705501
005	20260319153713.0
008	201012s1975 gw \|\|\|\|\| \|\|\|\| 00\| \|\|ger d
020			\|a 3280007615
035			\|a (swissbib)232778507-41slsp_network
035			\|a 232778507 \|9 ExL
035			\|a (RERO)R241887260-41slsp
035			\|a (NEBIS)002817325EBI01
035			\|a (NEBIS)001821436EBI01
035			\|a (EXLNZ-41SLSP_NETWORK)991098804729705501
035			\|a (41SLSP_UZB)990028173250205508 \|9 (41SLSP_UZB)990028173250205508
040			\|a RERO gevbpu \|d CH-ZuSLS
072		7	\|a ph \|2 rero
100	1		\|a Freund, Helmut \|0 (RERO)A003263250 \|4 cre
245	1	0	\|a Aussagenlogik und Beweisverfahren \|c von H. Freund und P. Sorger
264		1	\|a Zürich \|b Orell Füssli \|c 1975
300			\|a 136 p. \|b ill. \|c 21 cm
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Mathematik für die Lehrerausbildung
500			\|a [Lizenzausgabe]
650		7	\|a démonstration (mathématiques) \|0 (RERO)A010072773 \|2 rerovoc
650		7	\|a Calcul des propositions \|0 (IDREF)027554546 \|2 idref
690			\|a Mathematik \|2 fhnw-E8
690			\|a Fachdidaktik \|2 fhnw-E8
690			\|a Schulstufe \|x Tertiärstufe \|2 fhnw-E8
700	1		\|a Sorger, Peter \|0 (IDREF)131918451
830		0	\|a Mathematik für die Lehrerausbildung \|p Orell Füssli \|w (RERO)R241886260-41slsp
852	4		\|b Z08 \|c ZBVAR \|j VAR 130: 1975:4 \|9 (41SLSP_UZB)990028173250205508
900			\|a IDSZRMedeaZBZ \|b IDSZRSWK
900			\|a IDSZ1ZH
900			\|a IDSE851(06)
949			\|c ZBVAR \|p 67 \|j VAR 130: 1975:4 \|b Z08 \|9 (41SLSP_UZB)990028173250205508
986			\|a (41SLSP_UZB)990028173250205508 \|9 (41SLSP_UZB)990028173250205508