Sprache, Beweis und Logik / 2 Anwendungen und Metatheorie
Authors: | ; |
---|---|
Format: | Print Book |
Language: | German |
Subito Delivery Service: | Order now. |
Check availability: | HBZ Gateway |
WorldCat: | WorldCat |
Fernleihe: | Fernleihe für die Fachinformationsdienste |
Published: |
Paderborn
mentis
2006
|
In: |
Sprache, Beweis und Logik
Year: 2006 |
Online Access: |
Contents Table of Contents |
MARC
LEADER | 00000cam a2200000 c4500 | ||
---|---|---|---|
001 | 1191454193 | ||
003 | DE-627 | ||
005 | 20240709140228.0 | ||
007 | tu | ||
008 | 051117s2006 xx ||||| 00| ||ger c | ||
020 | |a 3897854414 |9 3-89785-441-4 | ||
035 | |a (DE-627)1191454193 | ||
035 | |a (DE-576)121454193 | ||
035 | |a (DE-599)BSZ121454193 | ||
035 | |a (OCoLC)315274858 | ||
035 | |a (OCoLC)163376572 | ||
040 | |a DE-627 |b ger |c DE-627 |e rakwb | ||
041 | |a ger | ||
084 | |a 1 |2 ssgn | ||
084 | |a CC 2400 |2 rvk |0 (DE-625)rvk/17608: | ||
084 | |a CC 2600 |2 rvk |0 (DE-625)rvk/17610: | ||
084 | |a CC 2500 |q DE-24/20sred |2 rvk |0 (DE-625)rvk/17609: | ||
100 | 1 | |0 (DE-588)124163092 |0 (DE-627)085679100 |0 (DE-576)16018715X |4 aut |a Barwise, Jon |d 1942-2000 | |
109 | |a Barwise, Jon 1942-2000 |a Barwise, K. Jon 1942-2000 |a Barwise, J. 1942-2000 |a Barwise, John 1942-2000 |a Barvajs, Dż. 1942-2000 |a Barwise, Kenneth Jon 1942-2000 | ||
245 | 1 | 0 | |a Sprache, Beweis und Logik |n 2 |p Anwendungen und Metatheorie |c Jon Barwise; John Etchemendy. In Zsarb. mit Gerard Allwein ... Übers. u. für d. Dt. bearb. von Joachim Bromand ... |
264 | 1 | |a Paderborn |b mentis |c 2006 | |
300 | |a XI, 239 S. |b graph. Darst. | ||
336 | |a Text |b txt |2 rdacontent | ||
337 | |a ohne Hilfsmittel zu benutzen |b n |2 rdamedia | ||
338 | |a Band |b nc |2 rdacarrier | ||
583 | 1 | |a Archivierung/Langzeitarchivierung gewährleistet |f SSG |x XA-DE-BW |2 pdager |5 DE-21 | |
601 | |a Metatheorie | ||
700 | 1 | |0 (DE-588)132926679 |0 (DE-627)528682261 |0 (DE-576)299508137 |4 aut |a Etchemendy, John |d 1952- | |
773 | 1 | 8 | |a Sprache, Beweis und Logik |w (DE-627)1190843595 |w (DE-576)120843595 |g 2 |q 2 |7 nnnm |
856 | 4 | 2 | |u http://d-nb.info/975825704/04 |m V:DE-603 |q application/pdf |3 Inhaltsverzeichnis |
856 | 4 | 2 | |u http://deposit.dnb.de/cgi-bin/dokserv?id=2665331&prov=M&dok_var=1&dok_ext=htm |m X:MVB |q text/html |3 Inhaltstext |
935 | |a mteo | ||
936 | r | v | |a CC 2400 |b Einführungen, Handbücher, Sammelbände und Bibliografien |k Philosophie |k Systematische Philosophie |k Logik |k Einführungen, Handbücher, Sammelbände und Bibliografien |0 (DE-627)1270638718 |0 (DE-625)rvk/17608: |0 (DE-576)200638718 |
936 | r | v | |a CC 2600 |b Abhandlungen zur Logik und mathematischen Grundlagenforschung |k Philosophie |k Systematische Philosophie |k Logik |k Abhandlungen zur Logik und mathematischen Grundlagenforschung |0 (DE-627)1270638734 |0 (DE-625)rvk/17610: |0 (DE-576)200638734 |
936 | r | v | |a CC 2500 |b Philosophische Logik |k Philosophie |k Systematische Philosophie |k Logik |k Philosophische Logik |0 (DE-627)1270638726 |0 (DE-625)rvk/17609: |0 (DE-576)200638726 |
951 | |a MV | ||
ELC | |b 1 | ||
ITA | |a 1 |t 1 | ||
LOK | |0 000 xxxxxcx a22 zn 4500 | ||
LOK | |0 001 2519074086 | ||
LOK | |0 003 DE-627 | ||
LOK | |0 004 1191454193 | ||
LOK | |0 005 20061026113319 | ||
LOK | |0 008 061026||||||||||||||||ger||||||| | ||
LOK | |0 040 |a DE-21 |c DE-627 |d DE-21 | ||
LOK | |0 852 |a DE-21 | ||
LOK | |0 852 1 |c philos B 28-2 |9 00 | ||
LOK | |0 852 2 |b Lehrbuchsammlung |9 00 | ||
LOK | |0 935 |a lbs1 | ||
LOK | |0 938 |l 26/10/06 |8 6 | ||
LOK | |0 000 xxxxxcx a22 zn 4500 | ||
LOK | |0 001 2524934926 | ||
LOK | |0 003 DE-627 | ||
LOK | |0 004 1191454193 | ||
LOK | |0 005 20070117133141 | ||
LOK | |0 008 070117||||||||||||||||ger||||||| | ||
LOK | |0 040 |a DE-21-35 |c DE-627 |d DE-21-35 | ||
LOK | |0 541 |e 06/1510 | ||
LOK | |0 852 |a DE-21-35 | ||
LOK | |0 852 1 |c Ea 20.31A-2 |m p |9 00 | ||
LOK | |0 938 |k p | ||
LOK | |0 938 |l K5 |8 0 | ||
LOK | |0 000 xxxxxcx a22 zn 4500 | ||
LOK | |0 001 2573897028 | ||
LOK | |0 003 DE-627 | ||
LOK | |0 004 1191454193 | ||
LOK | |0 005 20080620122706 | ||
LOK | |0 008 080620||||||||||||||||ger||||||| | ||
LOK | |0 040 |a DE-21-46 |c DE-627 |d DE-21-46 | ||
LOK | |0 541 |e 2006/296 | ||
LOK | |0 689 |a s |a Sprache | ||
LOK | |0 689 |a s |a Logik | ||
LOK | |0 689 |a s |a Beweis | ||
LOK | |0 689 |a s |a Prädikatenlogik | ||
LOK | |0 689 |a s |a Aussagenlogik | ||
LOK | |0 689 |a s |a Mengentheorie | ||
LOK | |0 689 |a s |a Quantifikation | ||
LOK | |0 852 |a DE-21-46 | ||
LOK | |0 852 1 |c D 4/2006,5 |m p |9 00 | ||
LOK | |0 935 |a k046 |a i046 |a kneu | ||
LOK | |0 938 |k p | ||
ORI | |a SA-MARC-ixtheoa001.raw |